Planning as Satisfiability," presented at (1992)

by H Kautz, B Selman
Venue:European Conference on Artificial Intelligence(ECAI-92