ResearchTasksMaximal Independent SetFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedSATLIB SAT instances in CNF (test)KAMIS425.96MIS Size7Feb 26, 2026PBBS & RPB (test)ParEVO (Gemini)0.077Runtime (s)2Mar 4, 2026