Mapping Conformant Planning into SAT Through Compilation and Projection. Palacios, H. & Geffner, H. In Marín, R., Onaindia, E., Bugarín, A., & Reyes, J. S., editors, Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers, volume 4177, of Lecture Notes in Computer Science, pages 311–320, 2005. Springer.
Mapping Conformant Planning into SAT Through Compilation and Projection [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/caepia/PalaciosG05,
  author       = {H{\'{e}}ctor Palacios and
                  Hector Geffner},
  editor       = {Roque Mar{\'{\i}}n and
                  Eva Onaindia and
                  Alberto Bugar{\'{\i}}n and
                  Jos{\'{e}} Santos Reyes},
  title        = {Mapping Conformant Planning into {SAT} Through Compilation and Projection},
  booktitle    = {Current Topics in Artificial Intelligence, 11th Conference of the
                  Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago
                  de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4177},
  pages        = {311--320},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11881216\_33},
  doi          = {10.1007/11881216\_33},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/caepia/PalaciosG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0