Improving SAT solving using Monte Carlo Tree Search-based Clause Learning

@inproceedings{pub9947,
    author = {

Keszöcze, Oliver
 and 

Schmitz, Kenneth
 and 

Schloeter, Jens
 and 

Drechsler, Rolf
},
    title = {Improving SAT solving using Monte Carlo Tree Search-based Clause Learning},
    booktitle = {13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany},
    year = {2018}
}