HOU, Shiyuan. GMTSAT: A Neural SAT Solver Based on Multi-Slot Global Updates and Gated Message Passing. International Journal of Computer Science and Information Technology, U.K., v. 8, n. 2, p. 70–91, 2026. DOI: 10.62051/ijcsit.v8n2.08. Disponível em: https://wepub.org/index.php/IJCSIT/article/view/5957. Acesso em: 9 may. 2026.