ResearchDatasetsKissingKissingFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSatisfiability SolvingKissing40SAT Score8