ZarankiewiczDB,

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

z(7,13) = 30

111
111
111
111
11
11
11
11
11
11
11
11
11

Found by the general algorithm.

(0.096973498 seconds, score = 30, 254 recursive calls, max depth = 29)

lower bound = 30, submitted by Andrew Kay on April 22nd, 2016 (link, raw)

By Roman's bound with $p = 2$. [Rom75]

upper bound = 30, submitted on April 22nd, 2016 (link)

Submit a result or comment?