Gregor Behnke, Daniel Höller, Susanne Biundo. Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019. pages 7520-7529, AAAI Press, 2019. [doi]
@inproceedings{BehnkeHB19,
title = {Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning},
author = {Gregor Behnke and Daniel Höller and Susanne Biundo},
year = {2019},
url = {https://aaai.org/ojs/index.php/AAAI/article/view/4743},
researchr = {https://researchr.org/publication/BehnkeHB19},
cites = {0},
citedby = {0},
pages = {7520-7529},
booktitle = {The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019},
publisher = {AAAI Press},
isbn = {978-1-57735-809-1},
}