Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning
Crossref DOI link: https://doi.org/10.1007/978-3-030-20323-8_5
Published Online: 2019-07-09
Published Print: 2020
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Keszocze, Oliver
Schmitz, Kenneth
Schloeter, Jens
Drechsler, Rolf
Text and Data Mining valid from 2019-07-09
Chapter History
First Online: 9 July 2019