Riešenie hry Sudoku pomocou binárneho systému lineárnych rovníc - Zimová, Zuzana, 1990- (STU v Bratislave FIIT, 2014)