Cliques, coloring, and satisfiability second DIMACS Implementation Challenge, October 11-13, 1993

Gespeichert in:

Bibliographische Detailangaben
Format:	Buch
Sprache:	English
Veröffentlicht:	Providence, RI American Math. Soc. 1996
Schriftenreihe:	Center for Discrete Mathematics and Theoretical Computer Science <New Brunswick, NJ>: DIMACS series in discrete mathematics and theoretical computer science 26
Schlagworte:	Algorithmes - Informatique algorithme graphe clique coloration graphe combinatoire graphe hypergraphe satisfiabilité Informatik Mathematik Computer algorithms Computer science > Mathematics Erfüllbarkeitsproblem Clique > Graphentheorie Graphfärbung Konferenzschrift > 1993 > New Brunswick NJ
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge