Spring 2005
Homework # |
Due date |
Solutions |
| Programming Assignment 1 pdf | Feb. 4, 2005 |
|
| Homework 1 pdf | ||
| Homework 2 pdf | pdf. | |
| Programming Assignment 2 pdf | March 6, 2005 (that's Sunday) |
Data sets: AS1997 AS1999 AS2002 AS2004 |
| Homework 3 pdf | pdf. | |
| Homework 4 pdf | pdf. | |
| Programming Assignment 3 pdf | April 15, 2005 |
Benchmarks (download either the tar or zip version):
zip
tar.
Your program should be able to solve examples 1-9 (for full grade). Examples 10-13 are more difficult in case you want to stress your algorithms. Examples 1, 2, and 4 are satisfiable. Examples 3 and 5 are not satisfiable. You should also read the following paper: The Quest for Efficient Boolean Satisfiability Solvers by Lintao Zhang and Sharad Malik. |
| Homework 5 pdf | pdf. | Homework 6 pdf | pdf. |