A Branch and Cut Algorithm for Nonconvex Quadratically Constrained Quadratic Programming - Audet, Charles; Hansen, Pierre; Jaumard, Brigitte; Savard, Gilles (Groupe d’études et de recherche en analyse des décisions, 1999)