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

• Integer interval/domain constraints. Principles of Constraint Programming, Apt, chapter 6.4.

Frank Kaufer (Marco Kuhlmann)

Paper

Tuesday, April 5, 9:30

Global Constraints: AllDifferent

• The alldifferent Constraint - A Survey. J.W. van Hoeve
  

Basileios Anastasatos (Lutz Straßburger)

Paper

Tuesday, April 5, 10:15

Global Constraints: Regular Language Membership

• A Regular Language Membership Constraint. G. Pesant, CP 2004.

Niko Paltzer (Lutz Straßburger)

Paper

Tuesday, April 5, 11:00

CP Systems, Propagator scheduling

• Speeding up Constraint Propagation. Schulte, Stuckey, CP 2004.

Daniel Schreck (Guido Tack)

Paper

Tuesday, April 5, 13:30

CP Systems, Space-based architecture

• Programming Constraint Services. Schulte, 2002.

Konstantin Halachev (Gert Smolka)

Paper

Tuesday, April 5, 14:15

Symmetry Breaking

• Excluding symmetries in constraint-based search. Backofen, Will, Constraints 2002 7(3)
• Groups and Constraints: Symmetry breaking during search. Gent, Harvey, Kelsey, CP 02

Evangelia Pyrga (Lutz Straßburger)

Paper

Tuesday, April 5, 15:00

Scheduling Constraints

• Constraint-based Scheduling. Baptiste, Le Pape, Nuijten. Kluwer Academic Press, 2001.
• ICAPS 04 Scheduling tutorial. Bartak. International Conference on Automated Planning & Scheduling, 2004.
• AIPS 02 Scheduling tutorial. Laborie, Nuijten. International Conference on AI Planning & Scheduling, 2002.

Patrick Pekczynski (Guido Tack)

Paper

Wednesday, April 6, 9:30

Set Constraints

• Set bounds and (split) set domain propagation using ROBDDs. Hawkins, Lagoon, Stuckey, In G. Webb and X. Yu, editors, AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence.
• Set domain propagation using ROBDDs. Lagoon, Stuckey. In M. Wallace, editor, Proceedings of the Ninth International Conference on Principles and Practices of Constraint Programming, LNCS 3258, pages 347-361. Springer-Verlag, 2004.

Mathias Möhl (Guido Tack)

Paper

Wednesday, April 6, 10:15

Constraint-based dependency parsing

• Denys Duchier: Configuration Of Labeled Trees Under Lexicalized Constraints And Principles. Journal of Research on Language and Computation, September 2003.
• Ralph Debusmann, Denys Duchier, Marco Kuhlmann: Multi-dimensional Graph Configuration for Natural Language Processing. First International Workshop on Constraint Solving and Language Processing. Roskilde, Denmark, 2004.

Sebastian Blohm (Marco Kuhlmann)

Paper

Wednesday, April 6, 11:00

Dominance Constraints

• Manuel Bodirsky, Denys Duchier, Joachim Niehren: A New Algorithm For Normal Dominance Constraints. Symposium on Discrete Algorithms, January 2004.
• Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel: An Efficient Graph Algorithm for Dominance Constraints. Journal of Algorithms, to appear.
• Sven Thiel: Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions. Doctoral Dissertation, Saarland University, 2004.

David Steurer (Marco Kuhlmann)

Paper

Wednesday, April 6, 13:30

Tree Constraints

• Unification Revisited. Lassez, Maher, Marriott. Foundations of deductive databases and logic programming, Morgan Kaufmann Publishers Inc., 1988.
• Records for Logic Programming. Smolka, Treinen. Journal of Logic Programming 18(3), 1994.

Rayna Dimitrova (Gert Smolka)

Paper

Wednesday, April 6, 14:15