Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
Hybrid symbolic-explicit techniques for the graph coloring problem
DATE, 1997.
@inproceedings{EDTC-1997-ChiusanoCPR,
author = "Silvia Chiusano and Fulvio Corno and Paolo Prinetto and Matteo Sonza Reorda",
booktitle = "{Proceedings of the Second European Design and Test Conference}",
doi = "10.1109/EDTC.1997.582394",
pages = "422--426",
publisher = "{IEEE}",
title = "{Hybrid symbolic-explicit techniques for the graph coloring problem}",
year = 1997,
}