Back to Results
First PageMeta Content
Theoretical computer science / Computational complexity theory / Mathematics / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Conflict-driven clause learning / Satisfiability modulo theories / Unit propagation


The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett
Add to Reading List

Document Date: 2014-06-27 12:47:14

Open Document

File Size: 398,43 KB

Share Result on Facebook
UPDATE