A Generalized Implicit Enumeration Algorithm for Graph Coloring. - Horowitz, Ellis; Kubale, Marek; Jackowski, Boguslaw (Communications of the ACM, 1985)