Prime implicants of first order formulas via transversal clauses.
Manoj K. RautArindama SinghPublished in: Int. J. Comput. Math. (2004)
Keyphrases
- prime implicants
- propositional formulas
- propositional logic
- first order logic
- prime implicates
- horn clauses
- boolean functions
- normal form
- automated reasoning
- abductive reasoning
- conjunctive normal form
- theorem proving
- propositional satisfiability
- cnf formula
- consequence finding
- logical formulas
- belief change
- knowledge representation
- inference rules
- belief revision
- sat problem
- polynomial size
- desirable properties
- modal logic
- disjunctive normal form
- logic programs
- industrial applications
- constraint programming
- database design
- np complete
- natural language