Using Satisfiability for Non-optimal Temporal Planning.

Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani

Browse the full JELIA paper archive.