Your search returned the following 2 documents:

2. 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
   
1. 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