Jussi Rintanen. Engineering Efficient Planners with SAT. In Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas, editors, ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012. Volume 242 of Frontiers in Artificial Intelligence and Applications, pages 684-689, IOS Press, 2012. [doi]
@inproceedings{Rintanen12a,
title = {Engineering Efficient Planners with SAT},
author = {Jussi Rintanen},
year = {2012},
doi = {10.3233/978-1-61499-098-7-684},
url = {http://dx.doi.org/10.3233/978-1-61499-098-7-684},
researchr = {https://researchr.org/publication/Rintanen12a},
cites = {0},
citedby = {0},
pages = {684-689},
booktitle = {ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
editor = {Luc De Raedt and Christian Bessière and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas},
volume = {242},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-61499-097-0},
}