Hybrid symbolic-explicit techniques for the graph coloring problem.

Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda

Browse the full DATE paper archive.