TY - RPRT TI - Generalisation of Baker's Forcing Method to Arbitrary Prime and NP-hardness of Several $p$-adic Optimisations AU - Tomoki Mihara PY - 2026 UR - https://arxiv.org/abs/2607.06092 ID - 2607.06092 ER -