Jörg Hoffmann, Carla P. Gomes, Bart Selman. Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. In Derek Long, Stephen F. Smith, Daniel Borrajo, Lee McCluskey, editors, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006. pages 284-293, AAAI, 2006.
Abstract is missing.