Publication

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

Oliver Keszöcze, Kenneth Schmitz, Jens Schloeter, Rolf Drechsler

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

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