Open constraints in a closed world

  • Authors:
  • Willem-Jan van Hoeve;Jean-Charles Régin

  • Affiliations:
  • Department of Computer Science, Cornell University, Ithaca, NY;ILOG Sophia Antipolis, Les Taissounières HB2, Valbonne, France

  • Venue:
  • CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study domain filtering algorithms for open constraints, i.e., constraints that are not a priori defined on specific sets of variables. We present an efficient filtering algorithm, achieving set-domain consistency, for open global cardinality constraints. We extend this result to conjunctions of them, in case they are defined on disjoint sets of variables. We also analyze the case when the sets of variables may overlap. As establishing set-domain consistency is NP-complete in that case, we propose a weaker, though efficient, filtering algorithm instead. Finally, we extend our results to conjunctions of similar open constraints.