DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic.
Robert NieuwenhuisAlbert OliverasPublished in: CAV (2005)
Keyphrases
- formal theory
- computer algebra
- theoretical framework
- np complete
- set theory
- boolean algebra
- proof theory
- commonsense reasoning
- probability theory
- classical logic
- logic programming
- general theory
- logical framework
- automated reasoning
- propositional logic
- modal logic
- mathematical theory
- search tree
- proof procedure
- computational model
- knowledge base
- proof theoretic
- propositional theories