TU Darmstadt / ULB / TUbiblio

Stochastic local search for SAT: an empirical evaluation

Hoos, Holger H. ; Stützle, T. :
Stochastic local search for SAT: an empirical evaluation.
In: Journal of automated reasoning, 24 S. 421-481.
[Artikel], (2000)

Typ des Eintrags: Artikel
Erschienen: 2000
Autor(en): Hoos, Holger H. ; Stützle, T.
Titel: Stochastic local search for SAT: an empirical evaluation
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Journal of automated reasoning
Band: 24
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen