Hou, S. 2026. GMTSAT: A Neural SAT Solver Based on Multi-Slot Global Updates and Gated Message Passing. International Journal of Computer Science and Information Technology. 8, 2 (Feb. 2026), 70–91. DOI:https://doi.org/10.62051/ijcsit.v8n2.08.