Johnson, David S. Trick, Michael A.
Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993 - Providence, R.I. American Mathematical Society c1996. - xi, 657 p. - DIMACS series in disc. maths. and theo. computer sc.; v. 26 .
0821866095
Computer algorithms.
Computer science
Mathematics.
681.3 JOH
Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993 - Providence, R.I. American Mathematical Society c1996. - xi, 657 p. - DIMACS series in disc. maths. and theo. computer sc.; v. 26 .
0821866095
Computer algorithms.
Computer science
Mathematics.
681.3 JOH