Butrahandisya, B. and Arzaki, M. (2026) “A SAT-Based Approach for Solving Suguru Puzzles: Theory and Experiment”, Journal of the Indonesian Mathematical Society, 32(2), p. 1939. doi: 10.22342/jims.v32i2.1939.