ResearchDatasetsPARITY structured SATPARITY structured SATFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT SolvingPARITY structured SAT family1MRPP r-tilde15