Textdokument
Paralleler SAT-Solver mit Konfliktklauselbehandlung
Lade...
Volltext URI
Dokumententyp
Dateien
Datum
2017
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
INFORMATIK 2017
Studierendenkonferenz Informatik 2017 (SKILL 2017)
Verlag
Gesellschaft für Informatik, Bonn
Zusammenfassung
In diesem Paper wird ein paralleler SAT-Solver beschrieben, der durch Multithreading parallelisiert wird. Dabei ist das Besondere, dass verschiedene Solverparameter untersucht werden und ein Konfliktklauselhandling implementiert wird, welches auf einer Klassifikation der Konfliktklauseln basiert. Als Benchmark wird der beliebig skalierbare Colored Graph von Knuth[Kn15] verwendet, womit möglichst unterschiedliche Eingabegrößen untersucht werden können. Der parallele SAT-Solver kann in einigen Fällen den sequentiellen SAT-Solver schlagen.