Ricardo Tavares de Oliveira, Fabiano Silva, Bruno Cesar Ribas, Marcos A. Castilho. On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. In Juan Pavón, Néstor D. Duque-Méndez, Rubén Fuentes-Fernández, editors, Advances in Artificial Intelligence - IBERAMIA 2012 - 13th Ibero-American Conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012. Proceedings. Volume 7637 of Lecture Notes in Computer Science, pages 381-391, Springer, 2012. [doi]
Abstract is missing.