Hoffmann, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Hoffmann, J., Gomes, C., & Selman, B. (2006). Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. In Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006) (pp. 284-293). Menlo Park, USA: AAAI.