
UnitWalk
 Referenced in 35 articles
[sw00993]
 many common benchmarks ranging from graph coloring problems to microprocessor verification. Our algorithm is inspired...

ColPack
 Referenced in 32 articles
[sw07045]
 ColPack: Software for graph coloring and related problems in scientific computing. ColPack is a package...

Localizer
 Referenced in 20 articles
[sw21238]
 papers. Experimental results on Boolean satisfiability graph coloring, graph partitioning, and jobshop scheduling show...

NoMoRe
 Referenced in 22 articles
[sw07094]
 computing acolorings (nonstandard graph colorings with two colors) of the block graph ... given program $P$. Intuitively, an acoloring reflects the set of generating rules ... have included an interface to the graph drawing tool DaVinci for visualization of block graphs...

WORHP
 Referenced in 17 articles
[sw10824]
 computing sparse derivatives by applying graphcoloring methods to finite differences, structurepreserving sparse named...

EXTRACOL
 Referenced in 10 articles
[sw06552]
 Coloring large graphs based on independent set extraction We present an effective approach ({ssf EXTRACOL ... coloring large graphs. The proposed approach uses a preprocessing method to extract large independent sets ... memetic algorithm to color the residual graph. Each preprocessing application identifies, with a dedicated tabu...

AmgX
 Referenced in 11 articles
[sw13440]
 preconditioners often rely on parallel graph coloring algorithms. The AMG algorithm implemented in the AmgX...

COCO2P
 Referenced in 9 articles
[sw25779]
 package COCO2P for the computation with colored graphs, and in particular for the computation with...

DSATUR
 Referenced in 8 articles
[sw03004]
 given approximate coloring algorithm a graph is said to be slightly hardtocolor ... algorithm uses more colors than the chromatic number. Similarly, a graph is said ... smallest of such graphs for the DSATUR vertex coloring algorithm...

Tulip
 Referenced in 15 articles
[sw07464]
 experiment tools such as clustering, graph drawing and metrics coloring for the purpose of information...

BBMCL
 Referenced in 15 articles
[sw11525]
 tests. Selective coloring algorithms are fastest for a large subset of the graphs considered...

Gephi
 Referenced in 52 articles
[sw12110]
 people that have to explore and understand graphs. Like Photoshop but for data, the user ... representation, manipulate the structures, shapes and colors to reveal hidden properties. The goal...

BHOSLIB
 Referenced in 17 articles
[sw08220]
 Graph Problems (Maximum Clique, Maximum Independent Set, Minimum Vertex Cover and Vertex Coloring...

INCOP
 Referenced in 2 articles
[sw00441]
 been encoded, including Constraint Satisfaction Problems, graph coloring, frequency assignment.\parINCOP is an open ... known benchmarks. The challenging flat300_28 graph coloring instance has been colored in 30 colors...

SMCramsey
 Referenced in 3 articles
[sw11440]
 random variables that arise in Graph Colorings and Ramsey theory. It accompanies by the article...

CEACOL
 Referenced in 1 article
[sw07789]
 extraction and expansion approach for graph coloring We present an extraction and expansion approach ... graph coloring problem. The extraction phase transforms a large graph into a sequence of progressively ... starts by generating an approximate coloring for the smallest graph in the sequence. Then ... determine a coloring for each intermediate graph. To color each graph, a simple perturbation based...

SE2COL
 Referenced in 1 article
[sw07790]
 extraction and expansion approach for graph coloring We present an extraction and expansion approach ... graph coloring problem. The extraction phase transforms a large graph into a sequence of progressively ... starts by generating an approximate coloring for the smallest graph in the sequence. Then ... determine a coloring for each intermediate graph. To color each graph, a simple perturbation based...

E2COL
 Referenced in 1 article
[sw07791]
 extraction and expansion approach for graph coloring We present an extraction and expansion approach ... graph coloring problem. The extraction phase transforms a large graph into a sequence of progressively ... starts by generating an approximate coloring for the smallest graph in the sequence. Then ... determine a coloring for each intermediate graph. To color each graph, a simple perturbation based...

JCOL
 Referenced in 1 article
[sw33205]
 Java package for solving the graph coloring problem. Implementation of graph coloring heuristics like DSATUR ... includes an implementation of the backtracking graph coloring algorithm...

sparseHessianFD
 Referenced in 2 articles
[sw23054]
 dense. The package implements established graph coloring and linear substitution algorithms that were previously unavailable...