Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
Mathematics
Automated theorem proving
Electronic design automation
Formal methods
NP-complete problems
Satisfiability Modulo Theories
Unit propagation
Backtracking
Resolution
Theoretical computer science