Hybrid symbolic-explicit techniques for the graph coloring problem

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]

Authors

Silvia Chiusano

This author has not been identified. Look up 'Silvia Chiusano' in Google

Fulvio Corno

This author has not been identified. Look up 'Fulvio Corno' in Google

Paolo Prinetto

This author has not been identified. Look up 'Paolo Prinetto' in Google

Matteo Sonza Reorda

This author has not been identified. Look up 'Matteo Sonza Reorda' in Google