Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems

In the Reformulation Phase, certain types of additional implied polynomial constraints, that include the aforementioned constraints in the case of binary variables, are appended to the problem.