ResearchDatasetsHybrid Boolean constraintsFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsSAT SolvingHybrid Boolean constraints—Primary metric0