Constraints

, Volume 18, Issue 1, pp 1–6

On the reification of global constraints

  • Nicolas Beldiceanu
  • Mats Carlsson
  • Pierre Flener
  • Justin Pearson
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 constraint Reification Reformulation Functional dependency 

Copyright information

© Springer Science+Business Media New York 2012

Authors and Affiliations

  • Nicolas Beldiceanu
    • 1
  • Mats Carlsson
    • 2
  • Pierre Flener
    • 3
  • Justin Pearson
    • 3
  1. 1.TASC team (CNRS/INRIA)NantesFrance
  2. 2.SICSKistaSweden
  3. 3.Uppsala UniversityUppsalaSweden

Personalised recommendations