TU Darmstadt / ULB / TUbiblio

SATLIB: an online resource for research on SAT

Hoos, Holger H. ; Stützle, T. :
SATLIB: an online resource for research on SAT.
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.283-292. IOS Press, Amsterdam (u.a.)
[Buchkapitel], (2000)

Typ des Eintrags: Buchkapitel
Erschienen: 2000
Autor(en): Hoos, Holger H. ; Stützle, T.
Titel: SATLIB: an online resource for research on SAT
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.283-292
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