Author

A. Schutt

h-index 17 View on Semantic Scholar

We have 1 of 52 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

Global Difference Constraint Propagation for Constraint Programming

This paper describes how to build a (bounds consistent) global propagator for difference constraints that treats them all simultaneously, and shows how to explain propagations by a global difference constraint propagator, in order to use it within a lazy clause generation solver.

Lucas Kletzander, Jip J. Dekker, A. Schutt et al. · arXiv.org · 0 citations