Login / Signup
Computing prime implicants via transversal clauses.
Arindama Singh
Published in:
Int. J. Comput. Math. (1999)
Keyphrases
</>
prime implicants
prime implicates
boolean functions
abductive reasoning
consequence finding
normal form
automated reasoning
desirable properties
belief change
propositional formulas
modal logic
knowledge compilation
propositional logic
randomly generated
databases
first order logic