Jean-Nicolas Bès, Philippe Jégou. Proving Graph Un-Colorability with a Consistency Check of CSP. In 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China. pages 693-694, IEEE Computer Society, 2005. [doi]
Abstract is missing.