Max-3-SAT Solving on Random Instances (r=4.15, N=100, test)
0.36Avg Unsatisfied ClausesWalksat
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| WalksatRestarts=1002023.10 | 0.36 | 0.25 | |
| WalksatRestarts=12023.10 | 1.46 | 0.01 | |
| Survey Propagation2023.10 | 3.87 | 0.001 | |
| OptGNN2023.10 | 5.15 | 0.01 | |
| ErdősGNN2023.10 | 6.14 | 0.01 | |
| Autograd SDP2023.10 | 7.52 | 6.75 | |
| Low-Rank SDP2023.10 | 13.32 | 0.67 |