TY - RPRT TI - Engel's Interval Packing Problem in the Boolean Lattice AU - Yuxian Dong AU - Jianxi Mao PY - 2026 UR - https://arxiv.org/abs/2607.04794 ID - 2607.04794 ER -