Bipartite graph tiling

For each s ≥ 2, there exists m0 such that the following holds for all m ≥ m0: Let G be a bipartite graph with n = ms vertices in each partition set. If m is odd and minimum degree δ(G) ≥ n+3s2 − 2, then G contains m vertex-disjoint copies of Ks,s. If m is even, the same holds under the weaker condition δ(G) ≥ n/2+ s − 1. This is sharp and much stronger than a conjecture of Wang [25] (for large n). 1