7 citations · 7 across the 1 of their papers we have counts for
1 paper
Bart Demoen, Maria Garcia de la Banda
The rules of Sudoku are often specified using twenty seven \texttt{all\_different} constraints, referred to as the {\em big} \mrules. Using graphical proofs and exploratory logic p…