Max-3-SAT on Random Max-3-SAT instances r=4.00 N=100 (test)
0.14Avg Unsatisfied ClausesWalksat
Evaluation results
| Method | Links | ||
|---|---|---|---|
| WalksatRestarts=1002023.10 | 0.14 | 0.12 | |
| WalksatRestarts=12023.10 | 0.94 | 0.01 | |
| Survey Propagation2023.10 | 3.32 | 0.001 | |
| OptGNN2023.10 | 4.46 | 0.01 | |
| ErdősGNN2023.10 | 5.46 | 0.01 | |
| Autograd SDP2023.10 | 6.85 | 6.8 | |
| Low-Rank SDP2023.10 | 12.38 | 0.66 |