Publikation
ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling
Kenneth Schmitz; Oliver Keszöcze; Jil Meywerk; Rolf Drechsler
In: 13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany, 2018.