On the reification of global constraints
- First Online:
- Cite this article as:
- Beldiceanu, N., Carlsson, M., Flener, P. et al. Constraints (2013) 18: 1. doi:10.1007/s10601-012-9132-0
- 221 Views
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.