Your search returned the following 3 documents:

3. Fast Probabilistic Planning Through Weighted Model Counting
   Carmel Domshlak and Jörg Hoffmann
   In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), The English Lake District, 2006, 243-252
   
2. Friends or Foes? An AI Planning Perspective on Abstraction and Search
   Jörg Hoffmann, Ashish Sabharwal, and Carmel Domshlak
   In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), The English Lake District, 2006, 294-303
   
1. Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
   Jörg Hoffmann, Carla Gomes, and Bart Selman
   In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), The English Lake District, 2006, 284-293