Hou, Shiyuan. 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.