Unifying SAT-based and Graph-based Planning.

Henry A. Kautz, Bart Selman

Browse the full IJCAI paper archive.