Zhu, Mingliang and Joós, Antal (2022) Packing 1.35⋅1011 rectangles into a unit square. arXiv e-prints. ISSN 2331-8422