Practical SAT Solving -- CS 395t -- Slides

Homepage: http://www.cs.utexas.edu/users/marijn/class/2013-spring/cs395t/cs395t.html
Homepage: http://www.cs.utexas.edu/users/hunt/class/2013-spring/cs395t/cs395t.html


     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
            E-mail:  marijn@cs.utexas.edu, hunt@cs.utexas.edu

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.