Planning as Satisfiability: Heuristics
A machine program for theorem-proving