| Topic: | Vizualní Sudoku solver |
|---|
| Department: | Katedra kybernetiky |
|---|
| Supervisor: | Ing. Vojtěch Franc, Ph.D. |
|---|
| Announce as: | Diplomová práce, Bakalářská práce, Semestrální projekt |
|---|
| Description: | Navrhněte a implementujte vizuální Sudoku solver. Vstupem solveru bude obrázek se zadáním Sudoku. Solver převede zadání do symbolické reprezentace a hlavolam vyřeší. Součástí úkolu je statistické vyhodnocení úspěšnosti navrženého solveru a jeho porovnání s existujícími řešeními. |
|---|
| Bibliography: | - Wang et al. SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver. ICML 2019.
- Amos, Kolter. OptNet: Differentiable Optimization as a Layer in Neural Networks. ICML 2017 |
|---|
