PASAR—Planning as Satisfiability with Abstraction Refinement. Froleyks, N., Balyo, T., & Schreiber, D. In Symposium on Combinatorial Search (SoCS), volume 10, pages 70–78, 2019.
![PASAR—Planning as Satisfiability with Abstraction Refinement [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper ![PASAR—Planning as Satisfiability with Abstraction Refinement [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Paper Pdf bibtex @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://dominikschreiber.de/papers/2019-socs-pasar.pdf},
}Downloads: 0
{"_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://dominikschreiber.de/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://dominikschreiber.de/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://dominikschreiber.de/papers/2019-socs-pasar.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://dominikschreiber.de/share/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK"],"keywords":[],"search_terms":["pasar","planning","satisfiability","abstraction","refinement","froleyks","balyo","schreiber"],"title":"PASAR—Planning as Satisfiability with Abstraction Refinement","year":2019}