ResearchDatasetsMax 2-SATFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsCombinatorial OptimizationMax 2-SAT (test)0.266Time (sec)2