Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. Palacios, H., Bonet, B., Darwiche, A., & Geffner, H. In Biundo, S., Myers, K. L., & Rajan, K., editors, Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA, pages 141–150, 2005. AAAI.
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations [link]Paper  bibtex   
@inproceedings{DBLP:conf/aips/PalaciosBDG05,
  author       = {H{\'{e}}ctor Palacios and
                  Blai Bonet and
                  Adnan Darwiche and
                  Hector Geffner},
  editor       = {Susanne Biundo and
                  Karen L. Myers and
                  Kanna Rajan},
  title        = {Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations},
  booktitle    = {Proceedings of the Fifteenth International Conference on Automated
                  Planning and Scheduling {(ICAPS} 2005), June 5-10 2005, Monterey,
                  California, {USA}},
  pages        = {141--150},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/ICAPS/2005/icaps05-015.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/PalaciosBDG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0