A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by Boolean Grbner Bases.

Shutaro Inoue, Yosuke Sato

Browse the full AISC paper archive.