Guillermo De Ita Luna, José Raymundo Marcial-Romero, Pilar Pozos Parra. Counting Falsifying Assignments of Conjunctive Forms Using Binary Patterns. In Juan Carlos Acosta Guadarrama, editor, Proceedings of the Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, Valle de Bravo, Mexico, November 5-7, 2014. Volume 1287 of CEUR Workshop Proceedings, pages 1-10, CEUR-WS.org, 2014. [doi]
Abstract is missing.