satnet-sudoku (SATNet's Sudoku training test)
Introduced by Wang et al. in SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
A set of easy Sudoku instances used in the SATNet paper for training SatNet on how to learn to play Sudoku.
The instances are easy (plenty of hints) and it is therefore rather easy to get high accuracy on these. More challenging instances are available in the rrn-sudoku dataset.
Papers
| Paper | Code | Results | Date | Stars |
|---|
Dataset Loaders
No data loaders found. You can
submit your data loader here.
No data loaders found. You can
submit your data loader here.
