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

by Michael A. Trick Hardcover details (United States). ISBN: 978-0-8218-6609-2 ISBN-10: 0-8218-6609-5 Amer Mathematical Society · 1996