Héctor Palacios, Hector Geffner. Mapping Conformant Planning into SAT Through Compilation and Projection. In Roque Marín, Eva Onaindia, Alberto Bugarín, José Santos, 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, Springer, 2005. [doi]
Abstract is missing.