Planning as satisfiability (1992)

by Henry Kautz , Bart Selman
Venue:IN ECAI-92
Citations:430 - 26 self