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