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. Hrsg.: I. Gent, H. van Maaren, T. Walsh. - Amsterdam (u.a.): IOS Press, 2000. S. 43-86, Amsterdam (u.a.), IOS Press, [Book Section]

Item Type: Book Section
Erschienen: 2000
Creators: Hoos, Holger H. ; Stützle, T.
Title: Local search algorithms for SAT: an empirical evaluation
Language: English
Title of Book: 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
Place of Publication: Amsterdam (u.a.)
Publisher: IOS Press
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 16:25
License: [undefiniert]
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