Parameter Setting in SAT Solver using Machine Learning Techniques. - Filip Beskyd; Pavel Surynek (ICAART (2), 2022)

Domain Dependent Parameter Setting in SAT Solver Using Machine Learning Techniques. - Filip Beskyd; Pavel Surynek (ICAART (Revised Selected Paper, 2022)