ResearchTasksMax-3-SATMax-3-SATFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA 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