Riešenie hry Sudoku pomocou logických pravidiel - Cádrik, Michal, 1990- (STU v Bratislave FIIT, 2011)