A Hybrid alldifferent-Tabu Search Algorithm for Solving Sudoku Puzzles

Figure 2

Example of alldifferent constraint through Hall’s theorem approach.