An attack on Zarankiewicz's problem through SAT solving. - Jeremy Jierui Tan (CoRR, 2022)