Practical SAT Solving -- CS 395t

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

This is the homepage for CS395t, Spring, 2013, Unique Number 53724. Below are links to the course announcement, syllabus, and problem assignments. Additional information will incrementally appear during the semester. In case there has been a correction, update, or whatever, you are encouraged look here first when you start to work on items related to this course.

Below are links to information about this CS395t class.

  • Course Announcement

  • Course Syllabus

  • Course Slides

  • Problem Assignments