The complexity of finite-valued CSPs.

Johan Thapper Stanislav Zivný

Published in: STOC (2013)

Keyphrases

constraint satisfaction problems
space complexity
worst case
arc consistency
genetic algorithm
computational complexity
symmetry breaking
decision problems
backtracking algorithm
valued logic