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
Book Section, Bibliographie

Item Type: Book Section
Erschienen: 2000
Creators: Hoos, Holger H. ; Stützle, T.
Type of entry: Bibliographie
Title: Local search algorithms for SAT: an empirical evaluation
Language: English
Date: 2000
Place of Publication: Amsterdam
Publisher: IOS Press
Book Title: Highlights of satisfiability research in the year 2000: SAT 2000
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 16:25
Last Modified: 05 Mar 2013 08:49
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details