Cliques, Coloring, and Satisfiability: Second Dimacs Implementation Challenge, October 11-13, 1993 Book Discussion
Cliques, Coloring, and Satisfiability: Second Dimacs Implementation Challenge, October 11-13, 1993 (Dimacs Series in Discrete Mathematics and Theoretical Computer Science)
by
