A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems (Nonconvex Optimization and Its Applications, 31, Band 31)