Enumerating All Graph Colorings Using Zero-Suppressed Binary Decision Diagrams.

Ryohei Okuda, Jun Kawahara, Shin-ichi Minato

Browse the full WALCOM paper archive.