A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas.

Guillermo De Ita Luna Meliza Contreras González A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas. 2006 LoLaCOM http://ceur-ws.org/Vol-220/LoLaCOM06_07.pdf conf/micai/2006lolacom db/conf/micai/lolacom2006.html#ItaG06