Cliques, coloring, and satisfiability:second DIMACS implementation challenge, October 11-13, 1993
Saved in:
Group Author: | ; |
---|---|
Published: |
American Mathematical Society,
|
Publisher Address: | Providence, R.I. |
Publication Dates: | c1996. |
Literature type: | Book |
Language: | English |
Series: |
DIMACS series in discrete mathematics and theoretical computer science ; v. 26 |
Subjects: | |
Carrier Form: | xi, 657 p.: ill. ; 26 cm. |
ISBN: | 0821866095 (acid-free paper) |
Index Number: | TP301 |
CLC: | TP301.6-532 |
Call Number: | TP301.6-532/C641/1993/ |
Contents: |
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore." Includes bibliographical references. |