Lukas Kroc Ashish Sabharwal Bart Selman Counting Solution Clusters in Graph Coloring Problems Using Belief Propagation. 873-880 2008 NIPS http://books.nips.cc/papers/files/nips21/NIPS2008_0826.pdf conf/nips/2008 db/conf/nips/nips2008.html#KrocSS08