SUDOKU ako SAT či Constraint - Rakús, Boris (STU v Bratislave FIIT, 2007)