Cliques, coloring, and satisfiability second DIMACS implementation challenge - Johnson, David S., 1945-; Trick, Michael A (American Mathematical Society, 1996)
DIMACS workshop, October 11-13, 1993
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore."