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 (Aug. 2026), 1939. DOI:https://doi.org/10.22342/jims.v32i2.1939.