Publikation

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.

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