Lower Bound Estimation on Erdos minimum-overlap constant C6.5
37.912Lower Bound EstimateOurs
Evaluation Results
| Method | Links | |
|---|---|---|
| OursType=Duality side / Discovered convex program, Protocol=Exact-arithmetic dual point certification2026.06 | 37.912 | |
| WhiteType=Duality side2026.06 | 37.9005 | |
| Moser & MurdeshwarType=Duality side2026.06 | 35.639 | |
| ErdosType=Duality side2026.06 | 25 |