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
|