Feyzbakhsh Rankooh, M.; Ghassem-Sani, G. New Encoding Methods for SAT-Based Temporal Planning. ICAPS 2013, 23, 73-81.