Using Satisfiability for Non-optimal Temporal Planning. - Masood Feyzbakhsh Rankooh; Ali Mahjoob; Gholamreza Ghassem-Sani (JELIA, 2012)