Problem Sets

Problem Set 1 Due 10/04PDF , Support Code , Update, Solution , Code Solutions
Problem Set 2 Due 10/16PDF , Max Flow Instances , RSat Solver, RSat Input Format,
Solution
, Code Solutions
Problem Set 3 Due 11/01PDF , Support Code , Solution Code Solutions
Problem Set 4 Due 11/08PDF , Solution
Problem Set 5 Due 12/06PDF , Example Games , Solution

Midterm

Midterm SolutionsPDF

Project

Guidelines for the final project: The paper should be like a short conference paper (no more than 6 pages)--

Just like a conference paper, it should highlight why the problem is interesting, what the contribution of the work is, and what are the exciting conclusions. Unlike a conference paper, it can also talk about avenues you tried that didn't work out.

Misc.

Course OverviewPDF