Stefan Secrieru, Claudia Iasmina Lazar, Roxana Andreea Goina. From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles. In 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025. pages 73-78, IEEE, 2025. [doi]
Abstract is missing.