Return to Article Details $S_\infty$-RANK AND LAC INVARIANT FOR THE EVALUATION OF DIFFICULTY LEVEL OF SUDOKU PUZZLES BY BOOLEAN GROEBNER BASES Download Download PDF