A Monte Carlo Tree Search Based Conflict-Driven Clause Learning SAT Solver

Jens Schloeter. A Monte Carlo Tree Search Based Conflict-Driven Clause Learning SAT Solver. In Maximilian Eibl, Martin Gaedke, editors, 47. Jahrestagung der Gesellschaft für Informatik, Informatik 2017, Chemnitz, Germany, September 25-29, 2017. Volume P-275 of LNI, pages 2549-2560, GI, 2017. [doi]

Abstract

Abstract is missing.