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]
@inproceedings{ChiusanoCPR97,
title = {Hybrid symbolic-explicit techniques for the graph coloring problem},
author = {Silvia Chiusano and Fulvio Corno and Paolo Prinetto and Matteo Sonza Reorda},
year = {1997},
doi = {10.1109/EDTC.1997.582394},
url = {http://dx.doi.org/10.1109/EDTC.1997.582394},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/ChiusanoCPR97},
cites = {0},
citedby = {0},
pages = {422-426},
booktitle = {European Design and Test Conference (ED&TC 97), Paris, France, 17-20 March 1997},
publisher = {IEEE},
}