Gary McGuire, Bastian Tugemann, Gilles Civario http://arxiv.org/abs/1201.0749中身は読まず，アブストラクトしか読んでないけども，ヒントの数が16の数独は存在しない，ということを計算機による探索で確かめた，とのこと．計算機による探索といっても，…