Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993 /
Johnson, David S.,1945-
Trick, Michael A.
Providence, R.I. : American Mathematical Society,
c1996.
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore."
Includes bibliographical references.
Computer algorithms.
Computer science