GRAPHPLAN summary
Incremental forward projection produces compact “upper bound” representation of the state-space graph
Binary MUTEX constraints are added
(Depth-first) regression search for a solution, backtracking when MUTEX constraints are encountered.