Planning as satisfiability. Forthcoming (1992)

by H A Kautz, B Selman