Unifying SAT-based and GraphBased Planning (1999)

by H Kautz, B Selman
Venue:In Proc. Int. Joint Conf. on Art. Int. (IJCAI-99