On converting CNF to DNF.
Peter Bro MiltersenJaikumar RadhakrishnanIngo WegenerPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- boolean functions
- disjunctive normal form
- uniform distribution
- boolean formula
- decision rules
- conjunctive normal form
- randomly generated
- membership queries
- classification rules
- learning algorithm
- normal form
- constraint satisfaction
- term dnf
- polynomial size
- agnostic learning
- pac learning
- sat solvers
- upper bound
- special case