DIMACS 2: Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11-13, 1993

Shelfclass_id 3.D.2
Sortkey JOHNSON, DAVID S
Authors David S. Johnson, Michael A. Trick
Title DIMACS 2: Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge, October 11-13, 1993
Publisher American Mathematical Society
Year 1996
Languages eng
Isbn 0821866095
Series DIMACS series in discrete mathematics and theoretical computer science
Volume 26
Issn 1052-1798
Description xi, 657 p. ill. 26 cm.
Record date 20070504
Location Providence, R.I.
Keywords Computer algorithms, Computer science
Notes "NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore."