Constraints

, Volume 18, Issue 1, pp 1–6

On the reification of global constraints

Authors

  • Nicolas Beldiceanu
    • TASC team (CNRS/INRIA)
  • Mats Carlsson
    • SICS
    • Uppsala University
  • Justin Pearson
    • Uppsala University
Letter

DOI: 10.1007/s10601-012-9132-0

Cite this article as:
Beldiceanu, N., Carlsson, M., Flener, P. et al. Constraints (2013) 18: 1. doi:10.1007/s10601-012-9132-0

Abstract

We introduce a simple idea for deriving reified global constraints in a systematic way. It is based on the observation that most global constraints can be reformulated as a conjunction of total function constraints together with a constraint that can be easily reified.

Keywords

Global constraintReificationReformulationFunctional dependency

Copyright information

© Springer Science+Business Media New York 2012