Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2026_09_22_muhamadiev: A forum claim of 22 September 2026, with a public repository, that k(3,4) = 21: a circulant witness on 20 vertices and a SAT-certified case split on 21 vertices resting on hand lemmas; partial and unreviewed.
Linked from (1)
Graph