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]
@inproceedings{Schloeter17,
title = {A Monte Carlo Tree Search Based Conflict-Driven Clause Learning SAT Solver},
author = {Jens Schloeter},
year = {2017},
doi = {10.18420/in2017_257},
url = {https://doi.org/10.18420/in2017_257},
researchr = {https://researchr.org/publication/Schloeter17},
cites = {0},
citedby = {0},
pages = {2549-2560},
booktitle = {47. Jahrestagung der Gesellschaft für Informatik, Informatik 2017, Chemnitz, Germany, September 25-29, 2017},
editor = {Maximilian Eibl and Martin Gaedke},
volume = {P-275},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-669-5},
}