[an error occurred while processing this directive]
ICS275, Constraint Networks, Spring 2007
main

slides

readings

project
Home Work
Homework 1 (Due: 04/16)
Homework 2 (Due: 04/23)
Homework 3 (Due: 04/30)
Homework 4 (Due:05/07)
Homework 5 (Due: 05/14)
The source code of the SAT solvers used in this homework are linked below.
Solvers
Minisat
WALKSAT
Satz
Langford problems
Description of the encodings
Download the problems here
Homework 6 (Due: 05/21)
Homework 7 (Due: 06/03)
Home Work Solutions
Homework 2 solutions
Homework 3 solutions
Homework 4 solutions