https://123dok.net/document/lq52rjjq-solving-unconstrained-0-1-polynomial-programs-through-quadratic-convex-reformulation.html