//-->
An optimality criterion for global quadratic optimization
Neumaier, Arnold, (1992)
Rigorous filtering using linear relaxations
Domes, Ferenc, (2012)
Exclusion regions for optimization problems
Schichl, Hermann, (2014)