On k-Term DNF with the Largest Number of Prime Implicants.
Robert H. SloanBalázs SzörényiGyörgy TuránPublished in: SIAM J. Discret. Math. (2008)
Keyphrases
- largest number
- term dnf
- prime implicates
- uniform distribution
- boolean functions
- disjunctive normal form
- normal form
- dnf formulas
- phase transition
- decision rules
- pac learning
- membership queries
- abductive reasoning
- randomly generated
- modal logic
- classification rules
- knowledge compilation
- target concept
- propositional logic
- rough sets
- special case
- concept classes
- binary decision diagrams
- propositional formulas
- satisfiability problem
- conjunctive normal form