ResearchDatasetsHybrid Boolean constraintsHybrid Boolean constraintsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSAT SolvingHybrid Boolean constraints—Primary metric0