Necessary Conditions for Tractability of Valued CSPs.

Johan Thapper Stanislav Zivný

Published in: SIAM J. Discret. Math. (2015)

Keyphrases

constraint satisfaction
constraint satisfaction problems
sufficient conditions
constraint problems
real time
constraint propagation
search space
np complete
evolutionary algorithm
arc consistency
computational complexity
constraint programming
phase transition