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
Scheduling and SAT Emmanuel Hebrard Toulouse Outline
Add to Reading List
Document Date: 2014-02-17 02:59:42
Open Document
File Size: 520,25 KB
Share Result on Facebook
Company
Google /
/
SocialTag
Constraint programming
Logic in computer science
NP-complete problems
Boolean algebra
Boolean satisfiability problem
Electronic design automation
Satisfiability
NP-complete
Model checking
Theoretical computer science