Covering CSPs.

Irit Dinur Gillat Kol

Published in: Computational Complexity Conference (2013)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
arc consistency
solving constraint satisfaction problems
symmetry breaking
search space
constraint networks
non binary
constraint problems
databases
distributed constraint satisfaction