Variablen für Sudoku

Für jede Position (Zeile $i$, Spalte $j$) und jede mögliche Zahl $c\in \{1,...,9\}$ wird eine Variable $X_{i,j}^c$ eingeführt.

• $X_{i,j}^c$ ist wahr, wenn an der Stelle ($i,j$) die Zahl $c$ steht.