ResearchDatasetsCNF Formula InstancesCNF Formula InstancesFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsEntropy ComputationCNF Formula Instances88.17Entropy25