Johnson, David S.; Trick, Michael A. Introduction to the second DIMACS challenge: Cliques, coloring, and satisfiability. (English) Zbl 0875.68678 Johnson, David S. (ed.) et al., Cliques, coloring, and satisfiability. Second DIMACS implementation challenge. Proceedings of a workshop held at DIMACS, October 11–13, 1993. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 26, 1-7 (1996). For the entire collection see [Zbl 0851.00080]. Cited in 67 Documents MSC: 68R10 Graph theory (including graph drawing) in computer science 90C27 Combinatorial optimization Software:DIMACS PDF BibTeX XML Cite \textit{D. S. Johnson} and \textit{M. A. Trick}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 26, 1--7 (1996; Zbl 0875.68678)