TY - RPRT TI - Exact Continuous Reformulations of Logic Constraints in Nonlinear Optimization and Optimal Control Problems AU - Jad Wehbeh AU - Eric C. Kerrigan PY - 2026 UR - https://arxiv.org/abs/2601.03906 ID - 2601.03906 ER -