Unifying SAT-based and graphbased planning. Under review (1999)

by H Kautz, B Selman