TY  - BOOK
AU  - Johnson, David S.
AU  - Trick, Michael A.
TI  - Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993
SN  - 0821866095
CY  - Providence, R.I.
KW  - Computer algorithms
KW  - Computer science
KW  - Mathematics
ER  -