TY - RPRT TI - Set System Approximation for Binary Integer Programs: Reformulations and Applications AU - Ningji Wei PY - 2026 UR - https://arxiv.org/abs/2511.12437 ID - 2511.12437 ER -