Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs.

Mohand Ou Idir Khemmoudj Hachemi Bennaceur Anass Nagih

Published in: CPAIOR (2005)

Keyphrases

arc consistency
lagrangean relaxation
constraint satisfaction problems
constraint programming
column generation
constraint satisfaction
constraint propagation

space complexity
solving constraint satisfaction problems
constraint networks
non binary
arc consistency algorithm
soft constraints
max csp

global constraints
arithmetic constraints
path consistency
forward checking
branch and bound search
linear program
maintaining arc consistency

linear programming relaxation
worst case time complexity
singleton arc consistency
primal dual
integer program
upper bound
genetic algorithm