TY - RPRT TI - Finding large counterexamples by selectively exploring the Pachner graph AU - Benjamin A. Burton AU - Alexander He PY - 2024 DO - 10.4230/lipics.socg.2023.21 UR - https://arxiv.org/abs/2303.06321 ID - 2303.06321 ER -