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

by H Kautz, B Selman
Venue:Proc. of the 16th International Joint Conference on Artificial Intelligence (IJCAI