Hou, Shiyuan. “GMTSAT: A Neural SAT Solver Based on Multi-Slot Global Updates and Gated Message Passing”. International Journal of Computer Science and Information Technology 8, no. 2 (February 10, 2026): 70–91. Accessed May 9, 2026. https://wepub.org/index.php/IJCSIT/article/view/5957.