TY - RPRT TI - Satisfiability and freezing in random integer programs AU - Dylan J. Altschuler AU - Ruben Ascoli AU - Will Perkins PY - 2026 UR - https://arxiv.org/abs/2610.14085 ID - 2610.14085 ER -