ResearchTasksBoolean Satisfiability SolvingFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedSATLIB CBS controlled-backbone random 3-SATp-bit-guided CDCL214Conflicts (Pure)8May 6, 2026SATLIB BMS (backbone-minimal sub-instances)p-bit-guided CDCL650.5Pure Conflicts1May 6, 2026SATLIB RTI random 3-SAT instancesp-bit-guided CDCL259.5Conflicts (Pure)1May 6, 2026