Practical SAT Solving -- CS 395t -- Assignments

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

Problems will be assigned periodically. Students are expected to solve these problems and be ready to present them to the class.

Problem Assignments

Return to CS395t course homepage.