Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles. - Liam Davis; Tairan Ji (CoRR, 2025)