ZarankiewiczDB,

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

Bound for z(9,31)

By adding a column of weight 1 to z(9,30).

lower bound = 64, submitted on April 22nd, 2016 (link)