Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993
Author(s)
Bibliographic Information
Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993
（DIMACS series in discrete mathematics and theoretical computer science, v. 26）
American Mathematical Society, c1996
Available at 20 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Piscata||way||1993.1096057109
-
The University of Electro-Communications Library研
549.98/C78,548.96/C782219606823,2219700721,2005106836
Note
"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