Publication details

Saarland University Computer Science

Perfect Derived Propagators

Christian Schulte, Guido Tack

14th International Conference on Principles and Practice of Constraint Programming, Vol. 5202 of LNCS, pp. 571-575, Springer, 2008

When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both with and without coefficients? Constraint variants are ubiquitous: implementing them requires considerable effort, but yields better performance.
This paper shows how to use variable views to derive perfect propagator variants: derived propagators inherit essential properties such as correctness and domain and bounds completeness.

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

Extended version available as a technical report.

Download PDF        Show BibTeX               Download poster (PDF)


Login to edit


Legal notice, Privacy policy