TU Darmstadt / ULB / TUbiblio

Local search algorithms for SAT: an empirical evaluation

Hoos, Holger H. ; Stützle, T. (2000)
Local search algorithms for SAT: an empirical evaluation.
In: Highlights of satisfiability research in the year 2000: SAT 2000
Buchkapitel, Bibliographie

Typ des Eintrags: Buchkapitel
Erschienen: 2000
Autor(en): Hoos, Holger H. ; Stützle, T.
Art des Eintrags: Bibliographie
Titel: Local search algorithms for SAT: an empirical evaluation
Sprache: Englisch
Publikationsjahr: 2000
Ort: Amsterdam
Verlag: IOS Press
Buchtitel: Highlights of satisfiability research in the year 2000: SAT 2000
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:25
Letzte Änderung: 05 Mär 2013 08:49
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen