Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Formal methods / Logic in computer science / Automated theorem proving / Constraint programming / Electronic design automation / Conflict-driven clause learning / Satisfiability modulo theories / Boolean satisfiability problem / Unit propagation


Challenges in Satisfiability Modulo Theories Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio? Abstract. Here we give a short overview of the DPLL(T ) approach to Satisfiability Modulo
Add to Reading List

Document Date: 2007-09-19 06:11:44


Open Document

File Size: 221,63 KB

Share Result on Facebook