S. Hou, “GMTSAT: A Neural SAT Solver Based on Multi-Slot Global Updates and Gated Message Passing”, IJCSIT, vol. 8, no. 2, pp. 70–91, Feb. 2026, doi: 10.62051/ijcsit.v8n2.08.