Using Satisfiability for Non-optimal Temporal Planning.

Masood Feyzbakhsh Rankooh Ali Mahjoob Gholamreza Ghassem-Sani

Published in: JELIA (2012)

Keyphrases

temporal planning
mutual exclusion
temporal planner
optimal solution
domain independent
dynamic programming
np complete
lower bound
domain specific
simple temporal