Saarland University
Computer Science
Programming Systems
Teaching
Constraint Programming


Main page

Constraint Programming

Topics for the Talks

Some of the links (those on the Springer web site) will only work from within the HORUS network.

Linear constraints on integer intervals

Global Constraints: AllDifferent

Global Constraints: Regular Language Membership

CP Systems, Propagator scheduling

CP Systems, Space-based architecture

Symmetry Breaking

Scheduling Constraints

Set Constraints

Constraint-based dependency parsing

Dominance Constraints

Tree Constraints

Last Change: Sat Oct 28 17:12:37 2017 |