ResearchTasksWeighted Partial MaxSATFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedWPMS 2024DeepDist-c0.919Score14Feb 26, 2026WPMS 2023SPB-MaxSAT-c-B91.4Score14Feb 26, 2026WPMS 2022SPB-MaxSAT-c-B0.845Score14Feb 26, 2026WPMS 2020SPB-MaxSAT-c-B0.906Score14Feb 26, 2026WPMS 2021DeepDist-c0.878Score10Feb 26, 2026