A Generalized Implicit Enumeration Algorithm for Graph Coloring. - Marek Kubale; Boguslaw Jackowski (Commun. ACM, 1985)