Jussi Rintanen. Heuristics for Planning with SAT and Expressive Action Definitions. In Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert, editors, Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011. AAAI, 2011. [doi]
@inproceedings{Rintanen11-1,
title = {Heuristics for Planning with SAT and Expressive Action Definitions},
author = {Jussi Rintanen},
year = {2011},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2715},
researchr = {https://researchr.org/publication/Rintanen11-1},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011},
editor = {Fahiem Bacchus and Carmel Domshlak and Stefan Edelkamp and Malte Helmert},
publisher = {AAAI},
}