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