ICS-275, 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