the hidden logic of sudoku provides the first systematic perspective of the logical foundations and of the symmetries of the popular game. these are fully exploited to define new resolution rules, new graphical representations and an ordering of the ...