There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem
Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero