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