Planning as Satisfiability: Heuristics
Planning as Heuristic Search