BUTRAHANDISYA, B.; ARZAKI, M. A SAT-Based Approach for Solving Suguru Puzzles: Theory and Experiment. Journal of the Indonesian Mathematical Society, [S. l.], v. 32, n. 2, p. 1939, 2026. DOI: 10.22342/jims.v32i2.1939. Disponível em: https://jims-a.org/index.php/jimsa/article/view/1939. Acesso em: 16 sep. 2026.