Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani. New Encoding Methods for SAT-Based Temporal Planning. In Daniel Borrajo, Subbarao Kambhampati, Angelo Oddi, Simone Fratini, editors, Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013. AAAI, 2013. [doi]
@inproceedings{RankoohG13, title = {New Encoding Methods for SAT-Based Temporal Planning}, author = {Masood Feyzbakhsh Rankooh and Gholamreza Ghassem-Sani}, year = {2013}, url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6015}, researchr = {https://researchr.org/publication/RankoohG13}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013}, editor = {Daniel Borrajo and Subbarao Kambhampati and Angelo Oddi and Simone Fratini}, publisher = {AAAI}, isbn = {978-1-57735-609-7}, }