TU Darmstadt / ULB / TUbiblio

Local search algorithms for SAT: an empirical evaluation

Hoos, Holger H. ; Stützle, T. :
Local search algorithms for SAT: an empirical evaluation.
In: Highlights of satisfiability research in the year 2000: SAT 2000. Hrsg.: I. Gent, H. van Maaren, T. Walsh. - Amsterdam (u.a.): IOS Press, 2000. S. 43-86. IOS Press, Amsterdam (u.a.)
[Buchkapitel], (2000)

Typ des Eintrags: Buchkapitel
Erschienen: 2000
Autor(en): Hoos, Holger H. ; Stützle, T.
Titel: Local search algorithms for SAT: an empirical evaluation
Sprache: Englisch
Buchtitel: Highlights of satisfiability research in the year 2000: SAT 2000. Hrsg.: I. Gent, H. van Maaren, T. Walsh. - Amsterdam (u.a.): IOS Press, 2000. S. 43-86
Ort: Amsterdam (u.a.)
Verlag: IOS Press
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen