Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Maximal Independent Set on SATLIB SAT instances in CNF (test)

425.96MIS Size

KAMIS

420.448421.879423.31424.741Feb 16, 2023
Updated 1mo ago

Evaluation Results

MethodLinks
2023.02
425.96-37.58
2023.02
425.95026
2023.02
425.130.2123.74
2023.02
424.50.348.76
2023.02
423.280.6320.26
2023.02
422.220.8818.83
2023.02
420.661.4823.05