Guiding High-Performance SAT Solvers with Unsat-Core Predictions Paper • 1903.04671 • Published Mar 12, 2019 • 1
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks Paper • 2110.14053 • Published Oct 26, 2021 • 1