Unifying SAT-based and graph-based planning. (1999)

by H Kautz, B Selman
Venue:In Proc. IJCAI-99,