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