Login / Signup
A Polynomial Graphical Reduction to Speed Up the Counting of Models for Boolean Formulas.
Guillermo De Ita Luna
Meliza Contreras González
Published in:
LoLaCOM (2006)
Keyphrases
</>
learning models
domain independent
decision problems
boolean functions
boolean formula