Max-3-SAT on Random Max-3-SAT instances r=4.30 N=100 (test)
0.68Avg Unsatisfied Clauses
Walksat
Updated 4d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2023.10 | 0.68 | 0.4 | |
2023.10 | 1.97 | 0.01 | |
2023.10 | 3.94 | 0.001 | |
2023.10 | 5.84 | 0.01 | |
2023.10 | 6.79 | 0.01 | |
2023.10 | 8.32 | 6.77 | |
2023.10 | 14.27 | 0.69 |