Butrahandisya B, Arzaki M. A SAT-Based Approach for Solving Suguru Puzzles: Theory and Experiment. JIMS [Internet]. 2026 Aug. 9 [cited 2026 Sep. 16];32(2):1939. Available from: https://jims-a.org/index.php/jimsa/article/view/1939