The Three Color Problem for Planar Graphs
README.TXT
reduce.c
conf.dat
conf.ps
3color.ps