A Novel Method for Counting Models on Grid Boolean Formulas.

Carlos Guillén Guillermo De Ita Luna Aurelio López-López

Published in: MCPR (2010)

Keyphrases

objective function
probabilistic model
upper bound
machine learning
genetic algorithm
data structure