Domes, Ferenc; Neumaier, Arnold Rigorous filtering using linear relaxations. (English) Zbl 1275.90051 J. Glob. Optim. 53, No. 3, 441-473 (2012). MSC: 90C20 90C05 PDFBibTeX XMLCite \textit{F. Domes} and \textit{A. Neumaier}, J. Glob. Optim. 53, No. 3, 441--473 (2012; Zbl 1275.90051) Full Text: DOI
Domes, Ferenc; Neumaier, Arnold Constraint propagation on quadratic constraints. (English) Zbl 1208.68200 Constraints 15, No. 3, 404-429 (2010). MSC: 68T20 90C20 PDFBibTeX XMLCite \textit{F. Domes} and \textit{A. Neumaier}, Constraints 15, No. 3, 404--429 (2010; Zbl 1208.68200) Full Text: DOI