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

by D S Johnson, M A Trick
Venue:DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol 26, AMS