Practical SAT Solving -- CS 395t -- Assignments


     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

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.