Max-3-SAT Solving on Random Instances (r=4.15, N=100, test)
0.36Avg Unsatisfied Clauses
Walksat
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2023.10 | 0.36 | 0.25 | |
2023.10 | 1.46 | 0.01 | |
2023.10 | 3.87 | 0.001 | |
2023.10 | 5.15 | 0.01 | |
2023.10 | 6.14 | 0.01 | |
2023.10 | 7.52 | 6.75 | |
2023.10 | 13.32 | 0.67 |