A Definability Dichotomy for Finite Valued CSPs.

Anuj Dawar Pengming Wang

Published in: CoRR (2015)

Keyphrases

constraint satisfaction problems
fixed point
constraint satisfaction
propositional logic
constraint networks
valued logic
constraint propagation
search space
symmetry breaking