Cliques, coloring and satisfiability second DIMACS implementation challenge (1996)

by D Johnson, M Trick
Venue:of DIMACS series in Discrete Mathematics and Theoretical Computer Science