Tree-REX: SAT-based tree exploration for efficient and high-quality HTN planning. Schreiber, D., Pellier, D., Fiorino, H., & Balyo, T. In Int. Conf. on Automated Planning and Scheduling (ICAPS), pages 382–390, 2019.
![Tree-REX: SAT-based tree exploration for efficient and high-quality HTN planning [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf Slides doi bibtex
Pdf Slides doi bibtex @InProceedings{schreiber2019tree,
author = {Schreiber, Dominik and Pellier, Damien and Fiorino, Humbert and Balyo, Tom{\'a}{\v{s}}},
title = {{Tree-REX}: {SAT}-based tree exploration for efficient and high-quality {HTN} planning},
booktitle = {Int. Conf. on Automated Planning and Scheduling (ICAPS)},
year = {2019},
pages = {382--390},
doi = {10.1609/icaps.v29i1.3502},
url_PDF={https://satres.kikit.kit.edu/papers/2019-icaps-treerex.pdf},
url_Slides={https://satres.kikit.kit.edu/slides/2019-icaps-treerex.pdf},
}Downloads: 0
{"_id":"6sJqNjHR8aSe8gnzf","bibbaseid":"schreiber-pellier-fiorino-balyo-treerexsatbasedtreeexplorationforefficientandhighqualityhtnplanning-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":"Tree-REX: SAT-based tree exploration for efficient and high-quality HTN planning","booktitle":"Int. Conf. on Automated Planning and Scheduling (ICAPS)","year":"2019","pages":"382–390","doi":"10.1609/icaps.v29i1.3502","url_pdf":"https://satres.kikit.kit.edu/papers/2019-icaps-treerex.pdf","url_slides":"https://satres.kikit.kit.edu/slides/2019-icaps-treerex.pdf","bibtex":"@InProceedings{schreiber2019tree,\n\tauthor = {Schreiber, Dominik and Pellier, Damien and Fiorino, Humbert and Balyo, Tom{\\'a}{\\v{s}}},\n\ttitle = {{Tree-REX}: {SAT}-based tree exploration for efficient and high-quality {HTN} planning},\n\tbooktitle = {Int. Conf. on Automated Planning and Scheduling (ICAPS)},\n\tyear = {2019},\n\tpages = {382--390},\n\tdoi = {10.1609/icaps.v29i1.3502},\n\turl_PDF={https://satres.kikit.kit.edu/papers/2019-icaps-treerex.pdf},\n\turl_Slides={https://satres.kikit.kit.edu/slides/2019-icaps-treerex.pdf},\n}\n\n","author_short":["Schreiber, D.","Pellier, D.","Fiorino, H.","Balyo, T."],"key":"schreiber2019tree","id":"schreiber2019tree","bibbaseid":"schreiber-pellier-fiorino-balyo-treerexsatbasedtreeexplorationforefficientandhighqualityhtnplanning-2019","role":"author","urls":{" pdf":"https://satres.kikit.kit.edu/papers/2019-icaps-treerex.pdf"," slides":"https://satres.kikit.kit.edu/slides/2019-icaps-treerex.pdf"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://satres.kikit.kit.edu/publications.bib","dataSources":["GbAhpS9MGKje2yeDe","vvHPGoxAbjPSzJtLK","fNbnZhh6uQMv7HBXF","JaqTjZbpCCeemC5uq","2uduD5h8PKoztN54h","6oCu7DG43gGpaCnhj"],"keywords":[],"search_terms":["tree","rex","sat","based","tree","exploration","efficient","high","quality","htn","planning","schreiber","pellier","fiorino","balyo"],"title":"Tree-REX: SAT-based tree exploration for efficient and high-quality HTN planning","year":2019}