Foundations of Constraint Programming

From International Center for Computational Logic

Foundations of Constraint Programming

Course with SWS 1/1/0 (lecture/exercise/practical) in WS 2019

Lecturer

Tutor

SWS

  • 1/1/0

Modules

Examination method

  • Written exam

News

  • 1st Exercise Sheet is online

Description

Many natural computation problems can be formulated as constraint satisfaction problems: given a finite set of variables and a finite set of constraints, the question is whether there is a solution that satisfies all conditions. For which types of constraints can CSPs be solved efficiently, and with which algorithms? For which CSPs can such algorithms not exist?
  • Krzysztof Apt. Constraint Programming, Cambridge University Press. 2003.

Subscribe to events of this course (icalendar)

Lecture Introduction DS6, October 14, 2019 in APB E005 Download
Exercise Tutorial DS6, October 21, 2019 in APB E005 Download
Lecture CSP in a Nutshell DS6, October 28, 2019 in APB E005 Download
Exercise Tutorial DS6, November 4, 2019 in APB E005 Download
Lecture Complete Constraint Solvers DS6, November 11, 2019 in APB E005 Download
Exercise Tutorial DS6, November 18, 2019 in APB E005 Download
Lecture Local Consistency DS6, November 25, 2019 in APB E005 Download
Exercise Tutorial DS6, December 2, 2019 in APB E005 Download
Lecture Incomplete Constraint Solvers DS6, December 9, 2019 in APB E005 Download
Exercise Tutorial DS6, December 16, 2019 in APB E005 Download
Lecture Constraint Propagation DS6, January 6, 2020 in APB E005 Download
Lecture Search DS6, January 13, 2020 in APB E005 Download
Exercise Tutorial DS6, January 20, 2020 in APB E005 Download
Lecture Q&A DS6, February 3, 2020 in APB E005


Calendar