Pinned Repositories
ddruns
This repository contains scripts to conduct experiments with graph coloring based on decision diagrams from the ddcolors reository.
exactcolors
Exactcolors is a collection of algorithms for exactly solving graph coloring and weighted stable set problems.
jpt-amz
tsplib95
Library for working with TSPLIB files.
ddcolors
My reimplementation of van Hoeve's graph coloring algorithm using decision diagrams.
heldstephan's Repositories
heldstephan/jpt-amz
heldstephan/exactcolors
Exactcolors is a collection of algorithms for exactly solving graph coloring and weighted stable set problems.
heldstephan/ddruns
This repository contains scripts to conduct experiments with graph coloring based on decision diagrams from the ddcolors reository.
heldstephan/tsplib95
Library for working with TSPLIB files.