Planning as satisfiability (1992)

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