Unifying SAT-based and Graph-based Planning. IJCAI-99 (1999)

by H Kautz, B Selman