ResearchDatasetsPRET structured SATPRET structured SATFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT SolvingPRET structured SAT family1MRPP r-tilde6