ResearchTasksPartial MaxSATFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedPMS 2021DeepDist-c0.908Score18Feb 26, 2026PMS 2024DeepDist-c0.907Score14Feb 26, 2026PMS 2023SPB-MaxSAT-c-B0.864Score14Feb 26, 2026PMS 2022SPB-MaxSAT-c-B88.68Score14Feb 26, 2026PMS 2020DeepDist-c91.69Score14Feb 26, 2026