Paralleler SAT-Solver mit Konfliktklauselbehandlung
| dc.contributor.author | Tietjen, Jil | |
| dc.contributor.editor | Eibl, Maximilian | |
| dc.contributor.editor | Gaedke, Martin | |
| dc.date.accessioned | 2017-08-28T23:48:12Z | |
| dc.date.available | 2017-08-28T23:48:12Z | |
| dc.date.issued | 2017 | |
| dc.description.abstract | 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. | de |
| dc.identifier.doi | 10.18420/in2017_259 | |
| dc.identifier.isbn | 978-3-88579-669-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik, Bonn | |
| dc.relation.ispartof | INFORMATIK 2017 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-275 | |
| dc.subject | parallel search | |
| dc.subject | extended clause learning | |
| dc.subject | CDCL SAT solver | |
| dc.subject | Naive Bayes classifier | |
| dc.title | Paralleler SAT-Solver mit Konfliktklauselbehandlung | de |
| gi.citation.endPage | 2573 | |
| gi.citation.startPage | 2567 | |
| gi.conference.date | 25.-29. September 2017 | |
| gi.conference.location | Chemnitz | |
| gi.conference.sessiontitle | Studierendenkonferenz Informatik 2017 (SKILL 2017) |
Dateien
Originalbündel
1 - 1 von 1