Share your thoughts, 1 month free Claude Pro on us
See more
Feedback
Search any
task
Search any
task
SOTA MUS/MSS Enumeration benchmarks and papers with code | Wizwand
Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Tasks
MUS/MSS Enumeration
Benchmarks
Dataset Name
SOTA Method
Dataset Name
SOTA Method
Metric
Trend
Results
Last Updated
SAT small
ReMUS
Normalized Count
3.29
6
6d ago
SMT
HyMUSE
Count of MUSes/MSSes
58
2
6d ago
GC
HyMUSE
Count of MUS/MSS
31.6
2
6d ago
SAT large
HyMUSE
Number of MUSes/MSSes
130.6
2
6d ago
Showing 4 of 4 rows
25 / page
50 / page
100 / page
1
Search any
task
Search any
task
