On the Reduction of the CSP Dichotomy Conjecture to Digraphs.

Jakub Bulin Dejan Delic Marcel Jackson Todd Niven

Published in: CP (2013)

Keyphrases

constraint satisfaction problems
equivalence classes
constraint satisfaction
constraint propagation
reduction method
directed graph
constraint programming
decomposition methods
real time
search algorithm
evolutionary algorithm
np hard
np complete
constraint networks
tree decompositions