Modernes sequentielles und paralleles SAT Solving

dc.contributor.author	Manthey, Norbert
dc.contributor.editor	Hölldobler, Steffen
dc.date.accessioned	2020-08-21T08:50:44Z
dc.date.available	2020-08-21T08:50:44Z
dc.date.issued	2015
dc.description.abstract	Das Lösen des Erfüllbarkeitsproblems (SAT) wird in vielen industriellen Anwendungen genutzt, zum Beispiel in der Verifikation von Hardware und Software oder beim Erstellen von Fahrplänen. Verbesserungen der SAT-Technologie wirken sich somit unmittelbar auf darauf aufbauende Anwendungen aus. In dieser Arbeit werden sequentielle SAT-Systeme modelliert und Erweiterungen für den Suchalgorithmus vorgestellt, sowie neue Vereinfachungstechniken vorgeschlagen. Da heutigen Rechenarchitekturen viele Rechenkerne beherbergen, wird weiterhin ein skalierbarer, paralleler Lösungsalgorithmus präsentiert. Alle diskutierten Algorithmen wurden implementiert und empirisch ausgewertet: Die vorgestellten Erweiterungen verbessern den Stand heutiger SAT-Technologie.	de
dc.identifier.isbn	978-3-88579-419-6
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/33837
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik
dc.relation.ispartof	Ausgezeichnete Informatikdissertationen 2014
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Dissertations, Volume D-15
dc.title	Modernes sequentielles und paralleles SAT Solving	de
gi.citation.endPage	190
gi.citation.publisherPlace	Bonn
gi.citation.startPage	181

Dateien

1 - 1 von 1