CS_342 Constraint Satisfaction Problems and Applications 2008/09

Messages

• Friday, 9/1/2009, from 11 - 13 we have exam preparation in my office.

Slides

• Week 01
  • Thursday, October 2, 2008: pdf-file

  • Friday, October 3, 2008: pdf-file

• Week 02
  • Thursday, October 9, 2008: pdf-file

  • Friday, October 10, 2008: pdf-file

• Week 03
  • Thursday, October 16, 2008: pdf-file

  • Friday, October 17, 2008: pdf-file

• Week 04
  • Thursday, October 23, 2008: pdf-file

  • October 24, 2008: pdf-file

• Week 05
  • Thursday, November 8, 2007: pdf-file

  • Friday, November 9, 2007: pdf-file

• Week 06
  • Thursday, November 15, 2007: pdf-file

  • Friday, November 16, 2007: pdf-file

• Week 07
  • Thursday, November 22, 2007: pdf-file

  • Friday, November 23, 2007: pdf-file

• Week 08
  • Thursday, November 29, 2007: pdf-file

  • Friday, November 30, 2007: pdf-file

• Week 09
  • Thursday, December 6, 2007: pdf-file

  • Friday, December 7, 2007: pdf-file

• Week 10
  • Thursday, December 7, 2007: pdf-file (revision lecture)

Coursework

1. Coursework I: pdf-file

2. Solutions and background for Coursework I: pdf-file (to be completed)

3. Coursework II: pdf-file

4. Solutions and background for Coursework II: pdf-file

Reading and Links

• An overview on SAT algorithms and applications.