×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

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, 11-28 (1996).
MSC:  90C35 90C10 90C27
BibTeX Cite
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software