TY - RPRT TI - Lower Bounds for Sorting 16, 17, and 18 Elements AU - Florian Stober AU - Armin Weiß PY - 2022 UR - https://arxiv.org/abs/2206.05597 ID - 2206.05597 ER -