Publikation

ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling

Kenneth Schmitz, Oliver Keszöcze, Jil Tietjen, Rolf Drechsler

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

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence