About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Winter Term 2008/09  -  Foundations of Constraint Programming

Course title:  Foundations of Constraint Programming

Lecturer:   Prof. Michael Thielscher

Module:  LCP

Status:  foundation unit

SWS (lecture/tutorial/practical):  1/1/1

Credit points:  4

Examination method:  written examination

Prerequisites:

• none

Course description:

This course unit is devoted to the combination of logic programming and constraint solving, including binary constraints, constraints over finite domains, real-valued constraints, and the constraint programming language ECLIPSE.

Additional information:

• the course web page