Bi-decomposing large Boolean functions via interpolation and satisfiability solving.
Ruei-Rung LeeJie-Hong Roland JiangWei-Lun HungPublished in: DAC (2008)
Keyphrases
- boolean functions
- boolean formula
- uniform distribution
- randomly generated
- prime implicants
- membership queries
- threshold functions
- relevant variables
- functional properties
- binary decision diagrams
- dnf formulae
- learning algorithm
- read once formulas
- stochastic local search
- multi valued
- np complete
- linear threshold
- sat instances
- propositional logic
- satisfiability problem
- linear functions
- disjunctive normal form