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.
@inproceedings{HoffmannGS06,
title = {Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning},
author = {Jörg Hoffmann and Carla P. Gomes and Bart Selman},
year = {2006},
tags = {rule-based},
researchr = {https://researchr.org/publication/HoffmannGS06},
cites = {0},
citedby = {0},
pages = {284-293},
booktitle = {Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006},
editor = {Derek Long and Stephen F. Smith and Daniel Borrajo and Lee McCluskey},
publisher = {AAAI},
isbn = {978-1-57735-270-9},
}