Planning as satisfiability (1992)

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