Among, Common and Disjoint Constraints - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2005

Among, Common and Disjoint Constraints

Résumé

Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and set variables. We show how computational complexity can be used to determine whether achieving the highest level of consistency is tractable. For tractable constraints, we present a polynomial propagation algorithm and compare it to logical decompositions with respect to the amount of constraint propagation. For intractable cases, we show in many cases that a propagation algorithm can be adapted from a propagation algorithm of a similar tractable one.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

lirmm-00378928 , version 1 (27-04-2009)

Identifiants

  • HAL Id : lirmm-00378928 , version 1

Citer

Christian Bessiere, Emmanuel Hébrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh. Among, Common and Disjoint Constraints. Proceedings CSCLP: Revised Selected and Invited Papers, Uppsala, Sweden, pp.29-43. ⟨lirmm-00378928⟩
117 Consultations
0 Téléchargements

Partager

More