Online bin stretching lower bounds: Improved search of computational proofs. - Antoine Lhomme; Olivier Romane; Nicolas Catusse; Nadia Brauner (CoRR, 2022)