![Theoretical computer science / Mathematical logic / Automated theorem proving / Mathematics / Formal methods / Logic in computer science / Constraint programming / Electronic design automation / Conflict-Driven Clause Learning / DPLL algorithm / Boolean satisfiability problem / Satisfiability modulo theories Theoretical computer science / Mathematical logic / Automated theorem proving / Mathematics / Formal methods / Logic in computer science / Constraint programming / Electronic design automation / Conflict-Driven Clause Learning / DPLL algorithm / Boolean satisfiability problem / Satisfiability modulo theories](https://www.pdfsearch.io/img/c87767f9d19b5eedacf19583146ace62.jpg) Date: 2015-12-11 18:43:06Theoretical computer science Mathematical logic Automated theorem proving Mathematics Formal methods Logic in computer science Constraint programming Electronic design automation Conflict-Driven Clause Learning DPLL algorithm Boolean satisfiability problem Satisfiability modulo theories | | Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI InternationalAdd to Reading ListSource URL: yices.csl.sri.comDownload Document from Source Website File Size: 90,71 KBShare Document on Facebook
|