@InProceedings{froleyks2019pasar,
	author    = {Froleyks, Nils and Balyo, Tom{\'a}{\v{s}} and Schreiber, Dominik},
	title     = {{PASAR}---Planning as Satisfiability with Abstraction Refinement},
	booktitle = {Symposium on Combinatorial Search (SoCS)},
	year      = {2019},
	volume    = {10},
	number    = {1},
	pages     = {70--78},
	url       = {https://ojs.aaai.org/index.php/SOCS/article/download/18504/18295},
	url_PDF={https://satres.kikit.kit.edu/papers/2019-socs-pasar.pdf},
}

{"_id":"Dd7JMxpiFapjmJfDL","bibbaseid":"froleyks-balyo-schreiber-pasarplanningassatisfiabilitywithabstractionrefinement-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—Planning as Satisfiability with Abstraction Refinement","booktitle":"Symposium on Combinatorial Search (SoCS)","year":"2019","volume":"10","number":"1","pages":"70–78","url":"https://ojs.aaai.org/index.php/SOCS/article/download/18504/18295","url_pdf":"https://satres.kikit.kit.edu/papers/2019-socs-pasar.pdf","bibtex":"@InProceedings{froleyks2019pasar,\n\tauthor = {Froleyks, Nils and Balyo, Tom{\\'a}{\\v{s}} and Schreiber, Dominik},\n\ttitle = {{PASAR}---Planning as Satisfiability with Abstraction Refinement},\n\tbooktitle = {Symposium on Combinatorial Search (SoCS)},\n\tyear = {2019},\n\tvolume = {10},\n\tnumber = {1},\n\tpages = {70--78},\n\turl = {https://ojs.aaai.org/index.php/SOCS/article/download/18504/18295},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2019-socs-pasar.pdf},\n}\n\n","author_short":["Froleyks, N.","Balyo, T.","Schreiber, D."],"key":"froleyks2019pasar","id":"froleyks2019pasar","bibbaseid":"froleyks-balyo-schreiber-pasarplanningassatisfiabilitywithabstractionrefinement-2019","role":"author","urls":{"Paper":"https://ojs.aaai.org/index.php/SOCS/article/download/18504/18295"," pdf":"https://satres.kikit.kit.edu/papers/2019-socs-pasar.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["pasar","planning","satisfiability","abstraction","refinement","froleyks","balyo","schreiber"],"title":"PASAR—Planning as Satisfiability with Abstraction Refinement","year":2019}