# Publication details

##
Generating Propagators for Finite Set Constraints

Guido Tack, Christian Schulte, Gert Smolka

12th International Conference on Principles and Practice of Constraint Programming, Vol. 4204 of Lecture Notes in Computer Science, pp. 575--589, Springer, 2006

Ideally, programming propagators as implementations of
constraints should be an entirely declarative specification process
for a large class of constraints: a high-level declarative
specification is automatically translated into an efficient
propagator. This paper introduces the use of existential
monadic second-order logic as declarative
specification language for finite set propagators. The approach taken in
the paper is to automatically derive projection propagators (involving a
single variable only) implementing
constraints described by formulas. By this, the paper
transfers the ideas of indexicals to finite set constraints
while considerably increasing the level of
abstraction available with indexicals. The paper proves soundness
and completeness of the derived propagators and presents a runtime
analysis, including techniques for efficiently executing projectors
for n-ary constraints.

*© Springer-Verlag, (Lecture Notes in Computer Science)*

Download PDF
Show BibTeX

@INPROCEEDINGS{TackEtAl:2006:Generating,
title = {Generating Propagators for Finite Set Constraints},
author = {Guido Tack and Christian Schulte and Gert Smolka},
year = {2006},
editor = {{Fr\},
publisher = {{Springer}},
booktitle = {12th International Conference on Principles and Practice of Constraint Programming},
series = {{Lecture Notes in Computer Science}},
volume = {4204},
pages = {{575--589}},
note = {{to appear}},
}

Login to edit

Webmaster,
Wed Sep 16 10:47:00 2009