Cliques, coloring, and satisfiability second DIMACS implementation challenge
Άλλοι συγγραφείς: | , |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Providence, R.I.
American Mathematical Society
1996
|
Σειρά: | DIMACS series in discrete mathematics and theoretical computer science
26 |
Θέματα: |
Περιγραφή τεκμηρίου: | DIMACS workshop, October 11-13, 1993 "NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore." |
---|---|
Φυσική περιγραφή: | xi, 657 p. fig. 26 cm. |
Βιβλιογραφία: | Includes bibliographical references |
ISBN: | 0821866095 |
ISSN: | 1052-1798 |