Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11 - 13, 1993 / David S. Johnson; Michael A. Trick, editors

Johnson, David S. [Hrsg.] ; Trick, Michael A.

DIMACS implementation challenge ; DIMACS workshop ; 2 (New Brunswick, NJ) : 1993.10.11-13

Englisch

Providence, R.I. : American Mathematical Society, 1996

XI, 657 S. : graph. Darst. ; 26 cm

Konferenzschrift (1993, New Brunswick, NJ); Konferenzschrift

NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore

Online-Ausg.: Cliques, coloring, and satisfiability. - Providence, R.I. : American Mathematical Society, 1996. - 1 online resource (xi, 657 p. ill.)

0-8218-6609-5 acid-free paper

Includes bibliographical references

/ Clique

/ Graphfärbung

/ Erfüllbarkeitsproblem

*Clique

*Clique / Rutgers University

*Erfüllbarkeitsproblem / Rutgers University

*Computer algorithms ; Computer science -- Mathematics

Klassifikation der Library of Congress: QA76.9.A43

Dewey Dezimal-Klassifikation: 511/.5

Regensburger Verbund-Klassifikation: SS 1993: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / Veranstaltungsjahr 1993

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 68-06

Mathematics Subject Classification: 90-06

http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=1797278&custom_att_2=simple_viewer [Cliques, coloring and satisfiability]

https://zbmath.org/?q=an:0851.00080 [Zentralblatt MATH]

Potsdamer Straße