Describir: SUDOKU ako SAT či Constraint