TY - RPRT TI - The hard-core model on $\mathbb{Z}^3$ and Kepler's conjecture AU - A. Mazel AU - I. Stuhl AU - Y. Suhov PY - 2023 UR - https://arxiv.org/abs/2304.08642 ID - 2304.08642 ER -