NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks - Wang, Wenxi; Hu, Yang; Tiwari, Mohit; Khurshid, Sarfraz; McMillan, Kenneth; Miikkulainen, Risto (International Conference on Learning Representations, 2024)