A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems by Warren P. Adams & Hanif D. Sherali