Filip Beskyd, Pavel Surynek. Domain Dependent Parameter Setting in SAT Solver Using Machine Learning Techniques. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Agents and Artificial Intelligence - 14th International Conference, ICAART 2022, Virtual Event, February 3-5, 2022, Revised Selected Papers. Volume 13786 of Lecture Notes in Computer Science, pages 169-200, Springer, 2022. [doi]
Abstract is missing.