Towards Next Generation Sequential and Parallel SAT Solvers

Katalog der Deutschen Nationalbibliothek

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/1069092452
Art des Inhalts	Hochschulschrift
Titel	Towards Next Generation Sequential and Parallel SAT Solvers / Norbert Manthey. Gutachter: Steffen Hölldobler ; Armin Biere
Person(en)	Manthey, Norbert (Verfasser) Hölldobler, Steffen (Akademischer Betreuer) Biere, Armin (Akademischer Betreuer)
Verlag	Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden - Dresden : Technische Universität Dresden
Zeitliche Einordnung	Erscheinungsdatum: 2015
Umfang/Format	Online-Ressource
Hochschulschrift	Dresden, Technische Universität Dresden, Diss., 2014
Persistent Identifier	URN: urn:nbn:de:bsz:14-qucosa-158672
URL	http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-158672 (Verlag) (kostenfrei zugänglich)
Sprache(n)	Englisch (eng)
Schlagwörter	Erfüllbarkeitsproblem ; Künstliche Intelligenz ; Suche ; Aussagenlogik ; Reduktionssystem
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.

Treffer 1 von 1

Korrekturanfrage