Proving Graph Un-Colorability with a Consistency Check of CSP.

Jean-Nicolas Bès Philippe Jégou

Published in: ICTAI (2005)

Keyphrases

consistency check
constraint satisfaction problems
stereo matching
feature points
constraint satisfaction
decomposition methods
constraint programming
constraint propagation
feature selection
high quality
np complete
phase transition
graph structure
arc consistency
graph representation