ResearchDatasetsMax 2-SATMax 2-SATFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsCombinatorial OptimizationMax 2-SAT (test)0.266Time (sec)2