An attack on Zarankiewicz's problem through SAT solving

Jeremy Tan

The Zarankiewicz function gives, for a chosen matrix and minor size, the maximum number of ones in a binary matrix not containing an all-one minor. Tables of this function for smal…