Hou, S. GMTSAT: A Neural SAT Solver Based on Multi-Slot Global Updates and Gated Message Passing. IJCSIT 2026, 8 (2), 70-91. https://doi.org/10.62051/ijcsit.v8n2.08.