ResearchDatasetsSatNetSatNetFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSudoku SolvingSatNet Easy (test)100Solve Rate5