Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form.
Saïd JabbourJoão Marques-SilvaLakhdar SaisYakoub SalhiPublished in: JELIA (2014)
Keyphrases
- prime implicants
- conjunctive normal form
- propositional formulas
- propositional logic
- boolean functions
- polynomial size
- disjunctive normal form
- normal form
- prime implicates
- satisfiability problem
- cnf formula
- boolean formula
- propositional satisfiability
- first order logic
- abductive reasoning
- truth values
- uniform distribution
- database design