Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Jörg Hoffmann' in GoogleThis author has not been identified. Look up 'Carla P. Gomes' in GoogleThis author has not been identified. Look up 'Bart Selman' in Google

runs on WebDSL