Skip to main content Skip to main navigation

Publications

Page 1 of 1.

  1. Kenneth Schmitz; Oliver Keszöcze; Jil Meywerk; Rolf Drechsler

    ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling

    In: 13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany, …