Prime Implicants, Minimum Covers, and the Complexity of Logic Simplification.
Curtis T. McMullenJ. ShearerPublished in: IEEE Trans. Computers (1986)
Keyphrases
- prime implicants
- abductive reasoning
- prime implicates
- automated reasoning
- modal logic
- boolean functions
- complexity theoretic
- reasoning tasks
- propositional formulas
- computational complexity
- classical logic
- database systems
- database
- inference rules
- belief change
- logic programming
- computational properties
- logic programs