Model Counting of Monotone Conjunctive Normal Form Formulas with Spectra.
Radislav VaismanOfer StrichmanIlya B. GertsbakhPublished in: INFORMS J. Comput. (2015)
Keyphrases
- conjunctive normal form
- polynomial size
- boolean functions
- propositional formulas
- disjunctive normal form
- uniform distribution
- propositional logic
- dnf formulas
- randomly generated
- bounded treewidth
- knowledge compilation
- cnf formula
- satisfiability problem
- boolean formula
- search algorithm
- multi valued
- sat problem
- data model