Cut Generation for Mixed 0-1 Quadratically Constrained Programs