Model 16 ×16 Sudoku puzzles (with 4×4 blocks) as satisfiability problems.
We have to show that model 16 ×16 Sudoku puzzles (with 4×4 blocks) as satisfiability problems.
Assume that q(x,y,z) denote the proposition asserting that the cell in row x and columns y has the value z.
We assert that every row contains all sixteen numbers 1 to 16
Every columns contains all sixteen number 1 to 16
And each of the four blocks contains all six numbers 1 to 16