Guillermo De Ita, Meliza Contreras González. A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. In Rogelio Dávila, Mauricio Osorio, Claudia Zepeda, editors, Proceedings of the LoLaCOM06 Workshop, Instituto Tecnológico de Apizaco, Apizaco, Tlaxcala, México, 13th - 14th November 2006. Volume 220 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
Abstract is missing.