Cliques, coloring, and satisfiability: second DIMACS implementation challenge (0)

by D S Johnson, M A Trick
Venue:American Mathematical Soc