Challenging explanations for global constraints

Abstract

This article presents the challenge of implementing explanations within global constraints. After defining explanations, it introduces what explanations for global constraints could be through the example of the all different constraint, then it presents the issues of their implementation and the interest of precise explanations. At last, it illustrates these principles with the stretch and flow constraints.

8 Figures and Tables

Cite this paper

@inproceedings{RochartChallengingEF, title={Challenging explanations for global constraints}, author={Guillaume Rochart and Narendra Jussien and François Laburthe} }