In reply to sharatk:
I think this has to be left as an academic exercise as so far the only way to prove the number of solutions for a Sudoku puzzle is exhaustive simulation with a supercomputer.
In reply to sharatk:
I think this has to be left as an academic exercise as so far the only way to prove the number of solutions for a Sudoku puzzle is exhaustive simulation with a supercomputer.