Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993/
Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993/
David S. Johnson, Michael A. Trick, editors.
- Providence, R.I.: American Mathematical Society, c1996.
- xi, 657 p.: ill.; 26 cm.
- DIMACS series in discrete mathematics and theoretical computer science; v. 26. .
"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.
0821866095 (acid-free paper)
96005184
Computer algorithms.
Computer science---Mathematics.
511.5 / C641
"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.
0821866095 (acid-free paper)
96005184
Computer algorithms.
Computer science---Mathematics.
511.5 / C641