Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang: AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction. DATE 2024: 1-2