@misc{indiciaebc350c9ee2a1,
  title = {Online bin stretching lower bounds: Improved search of computational proofs},
  author = {Antoine Lhomme and Olivier Romane and Nicolas Catusse and Nadia Brauner},
  year = {2022},
  url = {https://arxiv.org/abs/2207.04931},
  note = {Source identifier: 2207.04931}
}