TY  - BOOK
AU  - Johnson David S ed.
ED  - DIMACS Implementation Challenge: DIMACS Workshop (2nd : 11-13 Oct 1993 : Rutgers,Bellcore)
ED  - DIMACS implementation challenge: DIMACS workshop
TI  - Cliques, coloring, and satisfiability: refereed papers
SN  - 0-8218-6609-5
U1  - 511.5 
PY  - 1996///
CY  - Providence
PB  - AMS
KW  - Computer algorithms
KW  - Computer science-mathematics
ER  -