There is no 16-Clue Sudoku: Solving the Sudoku Minimum Number of Clues Problem

Gary McGuire, Bastian Tugemann, Gilles Civario
http://arxiv.org/abs/1201.0749

中身は読まず，アブストラクトしか読んでないけども，ヒントの数が16の数独は存在しない，ということを計算機による探索で確かめた，とのこと．計算機による探索といっても，もちろん，賢くやらないとできない．