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, vol. 8, no. 2, Feb. 2026, pp. 70-91, https://doi.org/10.62051/ijcsit.v8n2.08.