A Mathematical Hierarchy of Sudoku Puzzles and Its Computation by Boolean Gröbner Bases.

Shutaro Inoue Yosuke Sato

Published in: AISC (2014)

Keyphrases

numerically stable
numerical stability
boolean functions
efficient computation
database
hierarchical structure
real valued
higher level
constraint satisfaction
linear algebra
polynomial equations