Hou S. GMTSAT: A Neural SAT Solver Based on Multi-Slot Global Updates and Gated Message Passing. IJCSIT [Internet]. 2026 Feb. 10 [cited 2026 Aug. 2];8(2):70-91. Available from: https://wepub.org/index.php/IJCSIT/article/view/5957