Back to Results
First PageMeta Content
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


Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International
Add to Reading List

Document Date: 2015-12-11 18:43:06

Open Document

File Size: 90,71 KB

Share Result on Facebook