ResearchTasksBoolean Satisfiability (SAT)Boolean Satisfiability (SAT)FollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSAT Hard (test)Recursive Model64Accuracy6Mar 4, 2026SAT Medium (test)Recursive Model95Accuracy (SAT Medium Test)6Mar 4, 2026SAT Easy (test)Recursive Model98Accuracy6Mar 4, 2026SAT 8-20 variables (test)MPLM100Success Rate (8 Variables)3Jul 2, 2026