Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning
Keszocze O, Schmitz K, Schloeter J, Drechsler R (2018)
Publication Language: English
Publication Type: Conference contribution, Conference Contribution
Publication year: 2018
Event location: Bremen
Authors with CRIS profile
Involved external institutions
Universität Bremen
Germany (DE)
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Germany (DE)
Germany (DE)
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Germany (DE)
How to cite
APA:
Keszocze, O., Schmitz, K., Schloeter, J., & Drechsler, R. (2018). Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning. In Proceedings of the International Workshop on Boolean Problems. Bremen, DE.
MLA:
Keszocze, Oliver, et al. "Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning." Proceedings of the International Workshop on Boolean Problems, Bremen 2018.
BibTeX: Download