Marco A. López, José Raymundo Marcial-Romero, José A. Hernández, Guillermo De Ita. Model counting for #2SAT problem in outerplanar graphs. In Mauricio Javier Osorio Galindo, José Raymundo Marcial-Romero, Claudia Zepeda Cortés, Pilar Pozos Parra, editors, Proceedings of the Eleventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Puebla, Mexico, November 15, 2018. Volume 2264 of CEUR Workshop Proceedings, pages 76-87, CEUR-WS.org, 2018. [doi]
Abstract is missing.