Butrahandisya, Butrahandisya, and Muhammad Arzaki. 2026. “A SAT-Based Approach for Solving Suguru Puzzles: Theory and Experiment”. Journal of the Indonesian Mathematical Society 32 (2):1939. https://doi.org/10.22342/jims.v32i2.1939.