Butrahandisya, B.; Arzaki, M. A SAT-Based Approach for Solving Suguru Puzzles: Theory and Experiment. JIMS 2026, 32, 1939.