ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling

@inproceedings{pub9946,
    author = {Schmitz, Kenneth and Keszöcze, Oliver and Tietjen, Jil and Drechsler, Rolf},
    title = {ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling},
    booktitle = {13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany},
    year = {2018}
}