Mixed-integer linear programming reformuilations [sic] for some nonlinear discrete design optimization problems

technical report