Max-3-SAT on Random Max-3-SAT instances r=4.30 N=100 (test)
0.68Avg Unsatisfied ClausesWalksat
Evaluation results
| Method | Links | ||
|---|---|---|---|
| WalksatRestarts=1002023.10 | 0.68 | 0.4 | |
| WalksatRestarts=12023.10 | 1.97 | 0.01 | |
| Survey Propagation2023.10 | 3.94 | 0.001 | |
| OptGNN2023.10 | 5.84 | 0.01 | |
| ErdősGNN2023.10 | 6.79 | 0.01 | |
| Autograd SDP2023.10 | 8.32 | 6.77 | |
| Low-Rank SDP2023.10 | 14.27 | 0.69 |