, Volume 18, Issue 1, pp 1-6

First online:

On the reification of global constraints

  • Nicolas BeldiceanuAffiliated withTASC team (CNRS/INRIA)
  • , Mats CarlssonAffiliated withSICS
  • , Pierre FlenerAffiliated withUppsala University Email author 
  • , Justin PearsonAffiliated withUppsala University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.


Global constraint Reification Reformulation Functional dependency