A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Guillermo De Ita' in GoogleThis author has not been identified. Look up 'Meliza Contreras González' in Google

runs on WebDSL