M. Feyzbakhsh Rankooh and G. Ghassem-Sani, “New Encoding Methods for SAT-Based Temporal Planning”, ICAPS, vol. 23, no. 1, pp. 73-81, Jun. 2013.