The Role of DomainSpecific Knowledge (1998)

by H Kautz, B Selman
Venue:in the Planning as Satisfiability Framework. Proceedings, AIPS