SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.
Maarten MariënJohan WittocxMarc DeneckerMaurice BruynooghePublished in: SAT (2008)
Keyphrases
- propositional logic
- satisfiability testing
- propositional satisfiability
- davis putnam
- solving hard
- first order logic
- propositional formulas
- belief revision
- lattice theory
- quantified boolean formulae
- possibilistic logic
- inductive logic programming
- valued logic
- satisfiability problem
- davis putnam logemann loveland
- sat solving
- sat problem
- phase transition
- stochastic local search
- sat solvers
- quantified boolean formulas
- expert systems
- search algorithm
- artificial intelligence
- machine learning