On Converting CNF to DNF
Peter Bro MiltersenJaikumar RadhakrishnanIngo WegenerPublished in: Electron. Colloquium Comput. Complex. (2003)
Keyphrases
- boolean functions
- disjunctive normal form
- uniform distribution
- boolean formula
- decision rules
- normal form
- randomly generated
- conjunctive normal form
- membership queries
- classification rules
- polynomial size
- sat solvers
- learning algorithm
- knowledge compilation
- equivalence queries
- learning theory
- sample size
- multi class
- decision trees