Feyzbakhsh Rankooh, Masood, and Gholamreza Ghassem-Sani. 2013. “New Encoding Methods for SAT-Based Temporal Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 23 (1):73-81. https://doi.org/10.1609/icaps.v23i1.13553.