Graph Invariants as Necessary Conditions for Global Constraints.

Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Charlotte Truchet

Published in: CP (2005)

Keyphrases

global constraints
constraint programming
constraint satisfaction problems
boolean constraints
symmetry breaking
arc consistency
weighted constraint satisfaction
directed graph
integer programming
parameterized complexity
sufficient conditions
graph structure
sensitivity analysis
constraint propagation