Wen-Yang Ku, J. Christopher Beck: Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems. CP 2016: 316-332