List-homomorphism problems on graphs and arc consistency.

Benoît Larose Adrien Lemaître

Published in: Discret. Math. (2013)

Keyphrases

arc consistency
solving constraint satisfaction problems
optimization problems
constraint satisfaction problems
space complexity
soft constraints
constraint satisfaction
max csp
constraint propagation
upper bound
global constraints
constraint problems
constraint graph