Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools.
Robert NieuwenhuisAlbert OliverasPublished in: LPAR (2005)
Keyphrases
- modulo theories
- decision procedures
- satisfiability problem
- answer set programming
- sat solvers
- theorem proving
- modal logic
- sat problem
- logic programs
- stable model semantics
- sat instances
- automated reasoning
- search algorithm
- satisfiability modulo theories
- reasoning problems
- max sat
- phase transition
- np complete
- propositional satisfiability
- databases
- answer sets
- logic programming
- np hard