The Propositional Formula Checker HeerHugo.
Jan Friso GrooteJoost P. WarnersPublished in: J. Autom. Reason. (2000)
Keyphrases
- propositional formulas
- propositional logic
- pseudo boolean constraints
- normal form
- propositional variables
- sat problem
- conjunctive normal form
- propositional satisfiability
- model counting
- quantified boolean formulae
- belief revision
- logic programming
- first order logic
- artificial intelligence
- cnf formula
- industrial applications
- database applications
- database systems