Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Constraint programming / Automated theorem proving / Logic in computer science / Formal methods / Propositional calculus / Satisfiability modulo theories / DPLL algorithm / Unit propagation / Solver


Splitting on Demand in SAT Modulo Theories Clark Barrett? , Robert Nieuwenhuis?? , Albert Oliveras??, and Cesare Tinelli? ? ? Abstract. Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-base
Add to Reading List

Document Date: 2006-07-31 08:38:18

Open Document

File Size: 191,01 KB

Share Result on Facebook
UPDATE