VHPOP: Versatile Heuristic Partial Order Planner
Backtrack programming techniques