Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993

Author(s)

• Johnson, David S.
• Trick, Michael A

Bibliographic Information

Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993

David S. Johnson, Michael A. Trick, editors

（DIMACS series in discrete mathematics and theoretical computer science, v. 26）

American Mathematical Society, c1996

Note

"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

Details

• NCID: BA28590833
• ISBN:
  • 0821866095
• LCCN: 96005184
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Providence, RI
• Pages/Volumes: xi, 657 p.
• Size: 27 cm
• Classification:
  • LCC : QA76.9.A43
  • DC20 : 511/.5
• Subject Headings:
  • LCSH : Computer algorithms
  • LCSH : Computer science -- Mathematics
• Parent Bibliography ID:
  • BA12282377