Auflistung nach Schlagwort "parallel search"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- TextdokumentParalleler SAT-Solver mit Konfliktklauselbehandlung(INFORMATIK 2017, 2017) Tietjen, JilIn 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.