On the Reification of Global Constraints - Archive ouverte HAL
Article Dans Une Revue Constraints Année : 2013

On the Reification of Global Constraints

Nicolas Beldiceanu
Connectez-vous pour contacter l'auteur
Theory, Algorithms and Systems for Constraints
CV
Mats Carlsson
SICS
Pierre Flener
  • Fonction : Auteur
Department of Information Technology
Justin Pearson
  • Fonction : Auteur
Department of Information Technology

Résumé

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.

Domaines

Mathématique discrète [cs.DM]

Contraintes Lina  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00754252

Soumis le : mardi 20 novembre 2012-08:51:08

Dernière modification le : mardi 17 septembre 2024-15:54:53

Consulter sur la plateforme ISTEX

Dates et versions

hal-00754252 , version 1 (20-11-2012)

Identifiants

Citer

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson. On the Reification of Global Constraints. Constraints, 2013, 18 (1), pp.1-6. ⟨10.1007/s10601-012-9132-0⟩. ⟨hal-00754252⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA LINA LINA-TASC INFO INRIA2 TDS-MACS LS2N IMT-ATLANTIQUE NANTES-UNIVERSITE INSTITUT-MINES-TELECOM
149 Consultations
0 Téléchargements

Altmetric

Partager

More