![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 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](https://www.pdfsearch.io/img/46b4136c614928664536c836ff157b86.jpg) Date: 2006-07-31 08:38:18Theoretical 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-baseAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 191,01 KBShare Document on Facebook
|