ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling

@inproceedings{pub9946,
    author = {

Schmitz, Kenneth
 and 

Keszöcze, Oliver
 and 

Meywerk, 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}
}