NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks Paper • 2110.14053 • Published Oct 26, 2021 • 1