Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles

Liam Davis, Tairan Ji

Modern SMT solvers have revolutionized the approach to constraint satisfaction problems by integrating advanced theory reasoning and encoding techniques. In this work, we evaluate…