B. Butrahandisya and M. Arzaki, “A SAT-Based Approach for Solving Suguru Puzzles: Theory and Experiment”, JIMS, vol. 32, no. 2, p. 1939, Aug. 2026.