Tietjen, JilEibl, MaximilianGaedke, Martin2017-08-282017-08-282017978-3-88579-669-5In 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.deparallel searchextended clause learningCDCL SAT solverNaive Bayes classifier10.18420/in2017_2591617-5468