A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems