Reducing Inductive Definitions to Propositional Satisfiability.
Nikolay PelovEugenia TernovskaPublished in: ICLP (2005)
Keyphrases
- propositional satisfiability
- sat solvers
- propositional logic
- constraint programming
- automated reasoning
- industrial applications
- solving hard
- sat instances
- sat problem
- davis putnam
- knowledge representation
- variable ordering
- machine learning
- max sat
- propositional formulas
- artificial intelligence
- satisfiability problem
- scheduling problem
- bayesian networks