ResearchTasksMaximal Independent SetMaximal Independent SetFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSATLIB SAT instances in CNF (test)KAMIS425.96MIS Size7Feb 26, 2026PBBS & RPB (test)ParEVO (Gemini)0.077Runtime (s)2Mar 4, 2026