CITATION STYLE
Keszocze, O., Schmitz, K., Schloeter, J., & Drechsler, R. (2020). Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning. In Advanced Boolean Techniques (pp. 107–133). Springer International Publishing. https://doi.org/10.1007/978-3-030-20323-8_5
Mendeley helps you to discover research relevant for your work.