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