Efficient SAT Encodings for Hierarchical Planning. Schreiber, D., Pellier, D., Fiorino, H., & Balyo, T. In Int. Conf. on Agents and Artificial Intelligence (ICAART), volume 2, pages 531–538, 2019.
![Efficient SAT Encodings for Hierarchical Planning [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf Slides doi bibtex
Pdf Slides doi bibtex @InProceedings{schreiber2019efficient,
author = {Schreiber, Dominik and Pellier, Damien and Fiorino, Humbert and Balyo, Tom{\'a}{\v{s}}},
title = {Efficient {SAT} Encodings for Hierarchical Planning},
booktitle = {Int. Conf. on Agents and Artificial Intelligence (ICAART)},
year = {2019},
volume = {2},
pages = {531--538},
doi = {10.5220/0007343305310538},
url_PDF={https://satres.kikit.kit.edu/papers/2019-icaart-efficient.pdf},
url_Slides={https://satres.kikit.kit.edu/slides/2019-icaart-efficient.pdf},
}Downloads: 0
{"_id":"DFLcrHY9vB2BtNzCc","bibbaseid":"schreiber-pellier-fiorino-balyo-efficientsatencodingsforhierarchicalplanning-2019","author_short":["Schreiber, D.","Pellier, D.","Fiorino, H.","Balyo, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Schreiber"],"firstnames":["Dominik"],"suffixes":[]},{"propositions":[],"lastnames":["Pellier"],"firstnames":["Damien"],"suffixes":[]},{"propositions":[],"lastnames":["Fiorino"],"firstnames":["Humbert"],"suffixes":[]},{"propositions":[],"lastnames":["Balyo"],"firstnames":["Tomáš"],"suffixes":[]}],"title":"Efficient SAT Encodings for Hierarchical Planning","booktitle":"Int. Conf. on Agents and Artificial Intelligence (ICAART)","year":"2019","volume":"2","pages":"531–538","doi":"10.5220/0007343305310538","url_pdf":"https://satres.kikit.kit.edu/papers/2019-icaart-efficient.pdf","url_slides":"https://satres.kikit.kit.edu/slides/2019-icaart-efficient.pdf","bibtex":"@InProceedings{schreiber2019efficient,\n\tauthor = {Schreiber, Dominik and Pellier, Damien and Fiorino, Humbert and Balyo, Tom{\\'a}{\\v{s}}},\n\ttitle = {Efficient {SAT} Encodings for Hierarchical Planning},\n\tbooktitle = {Int. Conf. on Agents and Artificial Intelligence (ICAART)},\n\tyear = {2019},\n\tvolume = {2},\n\tpages = {531--538},\n\tdoi = {10.5220/0007343305310538},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2019-icaart-efficient.pdf},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2019-icaart-efficient.pdf},\n}\n\n","author_short":["Schreiber, D.","Pellier, D.","Fiorino, H.","Balyo, T."],"key":"schreiber2019efficient","id":"schreiber2019efficient","bibbaseid":"schreiber-pellier-fiorino-balyo-efficientsatencodingsforhierarchicalplanning-2019","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2019-icaart-efficient.pdf"," slides":"https://satres.kikit.kit.edu/slides/2019-icaart-efficient.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["efficient","sat","encodings","hierarchical","planning","schreiber","pellier","fiorino","balyo"],"title":"Efficient SAT Encodings for Hierarchical Planning","year":2019}