SudokuSat - A tool for analyzing difficult sudoku puzzles - Henz, M (Springer Berlin Heidelberg, 2021)
Studies in Computational Intelligence