CompSci 275, Constraint Networks, Spring 2009

main | slides | readings | project

Home Work Homework 1  (Due: 04/13) Homework 2  (Due: 04/20) Homework 3  (Due: 04/27) Homework 4  (Due: 05/04) Homework 5  (Due: 05/11) -- updated 5/7. The source code of the SAT solvers used in this homework are linked below. Solvers Minisat WALKSAT RSAT Langford problems Description of the encodings Download the problems here Homework 6 (Due: 05/18) -- updated 5/14, 7pm Link for REES application Homework 7  (Due: 06/01) -- updated 5/29.