Prime clauses for fast enumeration of satisfying assignments to boolean circuits.
HoonSang JinFabio SomenziPublished in: DAC (2005)
Keyphrases
- search space
- conjunctive normal form
- boolean formula
- real valued
- truth table
- first order logic
- delay insensitive
- boolean functions
- consequence finding
- high speed
- digital circuits
- circuit design
- analog circuits
- horn clauses
- tunnel diode
- background knowledge
- knowledge representation
- dynamic programming
- search algorithm
- neural network
- decision rules
- infrared
- propositional formulas
- constraint satisfaction problems
- polynomial size
- logic programs
- disjunctive normal form
- quantum computing
- boolean variables
- vlsi circuits
- bayesian networks