Sudoku Solving on Symbolic Sudoku
1Board AccuracyNeural (RRN)
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Neural (RRN)Board Size=4x42022.10 | 1 | 5 | |
| SATNetBoard Size=4x42022.10 | 1 | 1 | |
| ILP–LossBoard Size=4x42022.10 | 1 | 1 | |
| ILP–LossBoard Size=6x62022.10 | 1 | 2 | |
| ILP–LossBoard Size=9x92022.10 | 1 | 52 | |
| Neural (RRN)Board Size=6x62022.10 | 0.991 | 7 | |
| SATNetBoard Size=6x62022.10 | 0.968 | 74 | |
| Neural (RRN)Board Size=9x92022.10 | 0.913 | 110 | |
| SATNetBoard Size=9x92022.10 | 0.285 | 299 | |
| CombOptNetBoard Size=4x42022.10 | 0 | — | |
| CombOptNetBoard Size=6x62022.10 | 0 | — | |
| CombOptNetBoard Size=9x92022.10 | 0 | — |