AAAI-20061 of 20 Deconstructing Planning as Satisfiability A Revised Report Henry Kautz UW University of Rochester in collaboration with Bart Selman and.
Utilizing Problem Structure in Local Search: The Planning Benchmarks as a Case Study Jőrg Hoffmann Alberts-Ludwigs-University Freiburg.