Sciweavers

Share
DATE
1997
IEEE

Hybrid symbolic-explicit techniques for the graph coloring problem

10 years 8 months ago
Hybrid symbolic-explicit techniques for the graph coloring problem
This paper presents an algorithmic technique based on hybridizing Symbolic Manipulation Techniques based on BDDs with more traditional Explicit solving algorithms. To validate the approach, the graph coloring problem has been selected as a hard-to-solve problem, and an optimized solution based on hybrid techniques has been implemented. Experimental results on a set of benchmarks derived from the CAD for VLSI area show the applicability of the approach to graphs with millions of vertices in a limited CPU time.
Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Mat
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where DATE
Authors Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
Comments (0)
books