CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates.
Anavai RameshGeorge BeckerNeil V. MurrayPublished in: J. Autom. Reason. (1997)
Keyphrases
- prime implicants
- boolean functions
- prime implicates
- knowledge compilation
- uniform distribution
- disjunctive normal form
- normal form
- randomly generated
- membership queries
- modal logic
- belief change
- abductive reasoning
- automated reasoning
- decision trees
- decision rules
- polynomial size
- pac learning
- np complete
- relational databases