ResearchDatasetsPopularity-SimilarityPopularity-SimilarityFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsUnsat-core predictionPopularity-Similarity79.7Precision4Unsat-core predictionPopularity-Similarity (hard)75.2Precision4Unsat-core predictionPopularity-Similarity (medium)77.5Precision4Unsat-core predictionPopularity-Similarity (easy)86.4Precision4