Butrahandisya, Butrahandisya, and Muhammad Arzaki. “A SAT-Based Approach for Solving Suguru Puzzles: Theory and Experiment”. Journal of the Indonesian Mathematical Society 32, no. 2 (August 9, 2026): 1939. Accessed September 16, 2026. https://jims-a.org/index.php/jimsa/article/view/1939.