Past exam of the computer science course of the University of Oxford / 2015 / Intelligent systems / 3 / a / Solution

Use one variable $X_{r,c}$ for each cell, with $1\le r,c\le 9$. An empty cell has constraint domain $\{1,\dots ,9\}$; a clue containing $d$ has singleton constraint domain $\{d\}$. Thus all clues are retained automatically.

For every row $r$ impose $\mathrm{AllDifferent}(X_{r,1},\dots ,X_{r,9})$, and for every column $c$ impose $\mathrm{AllDifferent}(X_{1,c},\dots ,X_{9,c})$. For each $a,b\in \{0,1,2\}$ impose an all-different constraint onThese are the nine prescribed boxes. There are 27 all-different constraints altogether. Nine pairwise distinct values chosen from a set of nine values must use every value exactly once, so these restrictions are precisely the Sudoku requirements. Equivalently, expand each all-different constraint into pairwise binary constraints $X_{r,c}\ne X_{r^{\prime },c^{\prime }}$ for cells sharing a row, column, or box.