ResearchTasksMax-3-SATFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedRandom Max-3-SAT instances r=4.30 N=100 (test)Walksat0.68Avg Unsatisfied Clauses7Feb 26, 2026Random Max-3-SAT instances r=4.15 N=100 (test)Walksat0.36Avg Unsatisfied Clauses7Feb 26, 2026Random Max-3-SAT instances r=4.00 N=100 (test)Walksat0.14Avg Unsatisfied Clauses7Feb 26, 2026