@InProceedings{froleyks2019sparkle,
  author    = {Froleyks, Nils and Balyo, Tom{\'a}{\v{s}} and Schreiber, Dominik},
  title     = {PASAR Entering the Sparkle Planning Challenge 2019},
  booktitle = {Sparkle Planning Challenge},
  year      = {2019},
  url_PDF={https://satres.kikit.kit.edu/papers/2019-sparkle-pasar.pdf},
  keywords={Automated planning, SAT, Competition entry},
}

{"_id":"q8iDvo5gWrqujDaAn","bibbaseid":"froleyks-balyo-schreiber-pasarenteringthesparkleplanningchallenge2019-2019","author_short":["Froleyks, N.","Balyo, T.","Schreiber, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Froleyks"],"firstnames":["Nils"],"suffixes":[]},{"propositions":[],"lastnames":["Balyo"],"firstnames":["Tomáš"],"suffixes":[]},{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]}],"title":"PASAR Entering the Sparkle Planning Challenge 2019","booktitle":"Sparkle Planning Challenge","year":"2019","url_pdf":"https://satres.kikit.kit.edu/papers/2019-sparkle-pasar.pdf","keywords":"Automated planning, SAT, Competition entry","bibtex":"@InProceedings{froleyks2019sparkle,\n author = {Froleyks, Nils and Balyo, Tom{\\'a}{\\v{s}} and Schreiber, Dominik},\n title = {PASAR Entering the Sparkle Planning Challenge 2019},\n booktitle = {Sparkle Planning Challenge},\n year = {2019},\n url_PDF={https://satres.kikit.kit.edu/papers/2019-sparkle-pasar.pdf},\n keywords={Automated planning, SAT, Competition entry},\n}\n\n","author_short":["Froleyks, N.","Balyo, T.","Schreiber, D."],"key":"froleyks2019sparkle","id":"froleyks2019sparkle","bibbaseid":"froleyks-balyo-schreiber-pasarenteringthesparkleplanningchallenge2019-2019","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2019-sparkle-pasar.pdf"},"keyword":["Automated planning","SAT","Competition entry"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["vvHPGoxAbjPSzJtLK","GbAhpS9MGKje2yeDe","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":["automated planning","sat","competition entry"],"search_terms":["pasar","entering","sparkle","planning","challenge","2019","froleyks","balyo","schreiber"],"title":"PASAR Entering the Sparkle Planning Challenge 2019","year":2019}