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), 70-91. https://doi.org/10.62051/ijcsit.v8n2.08