Ya que el sudoku tha de cumplir las siguiente restricciones:
\begin{align}
\sum_{k \in K} x_{ijk} &= 1, & \forall i \in I, \forall j \in J \label{eq:numeros} \\
\sum_{i \in I} x_{ijk} &= 1, & \forall j \in J, \forall k \in K \label{eq:filas} \\
\sum_{j \in J} x_{ijk} &= 1, & \forall i \in I, \forall k \in K \label{eq:columnas} \\
\sum_{i = (h-1)m + 1}^{mh} \sum_{j = (l-1)m + 1}^{ml} x_{ijk} &= 1, & \forall h, l \in \{1, \dots, m\} \label{eq:subgrid_constraint} \\
x_{ijk} &\in \{0, 1\}, & \forall i\in I, \forall j\in J, \forall k \in K \label{eq:binary_constraint}
\end{align}
donde $m:=\sqrt{n}$.
Que debriamos añadir para hacer las del sudoku killer?