A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers

von Nejati, Saeed
Veröffentlicht in CP (26. : 2020 : Online) Principles and practice of constraint programming (2020)

ONLINE BAYESIAN MOMENT MATCHING BASED SAT SOLVER HEURISTIGCS

von Duan, Haonan
Veröffentlicht in International Conference on Machine Learning (37. : 2020 : Online) 37th International Conference on Machine Learning (ICML 2020) ; Part 4 of 15 (2021)

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

von Scott, Joseph
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)