TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System. - Steve Dai; Cunxi Yu; Kalyan Krishnamani; Brucek Khailany (CoRR, 2025)