ZarankiewiczDB,

an online database of Zarankiewicz numbers. home; recent; tables; submit; theorems & references

Bound for z(20,25)

Searching for matrices of weight greater than 108, all but one scaffold was eliminated without search.

Scaffold: $p=4$, $q=5$, $\mathbf{m}=(5,4,4,4)$, $\mathbf{n}=(3,3,3,3,3)$, $m_O=2$, $n_O=0$.

(27.206833369 seconds, score = 0, 257933 recursive calls, max depth = 23)

upper bound = 108, submitted by Andrew Kay on April 25th, 2016 (link)