10.557 Mixed-integer & Nonconvex Opt