Sign in

A Novel Method for Counting Models on Grid Boolean Formulas.

Carlos GuillénGuillermo De Ita LunaAurelio López-López
Published in: MCPR (2010)
Keyphrases
  • objective function
  • probabilistic model
  • upper bound
  • machine learning
  • genetic algorithm
  • data structure