Practical SAT Solving -- CS 395t -- Slides


     Unique Number:  53724
 Class Room Number:  CLA 0.124 (Map)
        Class Time:  Monday, 4:00 to 7:00 pm

       Instructors:  Marijn Heule & Warren A. Hunt, Jr.
   Office Location:  GDC S7.714 & GDC S7.818
      Office Hours:  Thursday, 4:00 to 6:00 pm

Course slides will appear here as the semester progresses.

Week 1:
Introduction in SAT solving
Encoding Applications into SAT

Week 2:
Lookahead techniques

Week 3 and 4:
Conflict-driven SAT solvers
3-SAT game
2-SAT game

Week 5:
Inprocessing techniques

Week 6:
Local search techniques

Return to CS395t course homepage.