Back to Results
First PageMeta Content
Mathematics / Automated theorem proving / Electronic design automation / Formal methods / NP-complete problems / Satisfiability Modulo Theories / Unit propagation / Backtracking / Resolution / Theoretical computer science / Constraint programming / Applied mathematics


Introduction to Satisfiability Solving with Practical Applications Niklas Een SAT solvers
Add to Reading List

Document Date: 2011-06-27 04:21:44

Open Document

File Size: 2,50 MB

Share Result on Facebook

Country

United States / /

Organization

MIT / SMT Solver Summer School / /

SocialTag