Model 16 ×16 Sudoku puzzles (with 4×4 blocks) as satisfiability problems.

Step1

Given that

We have to show that model 16 ×16 Sudoku puzzles (with 4×4 blocks) as satisfiability problems.

Step2

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

Step3

Every columns contains all sixteen number 1 to 16

And each of the four blocks contains all six numbers 1 to 16

Step4

We...