Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT

Guillermo De Ita Luna, Pedro Bello, Meliza Contreras. Recognizing Structural Patterns on Graphs for the Efficient Computation of #2SAT. In Jesús Ariel Carrasco-Ochoa, José Francisco Martínez Trinidad, Joaquín Salas Rodríguez, Gabriella Sanniti di Baja, editors, Pattern Recognition - 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings. Volume 7914 of Lecture Notes in Computer Science, pages 274-283, Springer, 2013. [doi]

Abstract

Abstract is missing.