ResearchDatasetsJNH SATJNH SATFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT SolvingJNH structured SAT family1.84MRPP r-tilde15