ResearchTasksMax 2-SATFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedCO problems (test)VC-2-FMPNN0.011Time (sec.)2May 1, 2026