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