Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda. Hybrid symbolic-explicit techniques for the graph coloring problem. In European Design and Test Conference (ED&TC 97), Paris, France, 17-20 March 1997. pages 422-426, IEEE, 1997. [doi]
Abstract is missing.