Planning with SAT, Admissible Heuristics and A*

Open in new window