Cliques, coloring, and satisfiability second DIMACS implementation challenge
| Other Authors: | Johnson, David S., 1945- (Editor), Trick, Michael A (Editor) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Providence, R.I.
American Mathematical Society
1996
|
| Series: | DIMACS series in discrete mathematics and theoretical computer science
26 |
| Subjects: |
Similar Items
-
Graphs, networks, and algorithms
by: Jungnickel, Dieter
Published: (1999) -
Μαθήματα θεωρίας γραφών : θεμελιώσεις-αλγόριθμοι-εφαρμογές /
by: Μανωλόπουλος, Ιωάννης Βασ
Published: (1996) -
Αλγόριθμοι για την γένεση του διατέμνοντος υπεργραφήματος
by: Τσεκουρώνας, Ιωάννης Χ.
Published: (2002) -
Mathematical visualization algorithms, applications, and numerics
Published: (1998) -
Proceedings of the IMAGS - GAMM International Workshop on validated computation Topics in validated computations
Published: (1994)