A scaling algorithm for polynomial constraint satisfaction problems. - Ferenc Domes; Arnold Neumaier (J. Glob. Optim., 2008)

GLOPTLAB: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems. - Ferenc Domes (Optim. Methods Softw., 2009)

Constraint propagation on quadratic constraints. - Ferenc Domes; Arnold Neumaier (Constraints An Int. J., 2010)

Rigorous Enclosures of Ellipsoids and Directed Cholesky Factorizations. - Ferenc Domes; Arnold Neumaier (SIAM J. Matrix Anal. Appl., 2011)

Rigorous filtering using linear relaxations. - Ferenc Domes; Arnold Neumaier (J. Glob. Optim., 2012)

On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables. - Hermann Schichl; Arnold Neumaier; Mihály Csaba Markót; Ferenc Domes (CPAIOR, 2013)

First order rejection tests for multiple-objective optimization. - Alexandre Goldsztejn; Ferenc Domes; Brice Chevalier (J. Glob. Optim., 2014)

Rigorous verification of feasibility. - Ferenc Domes; Arnold Neumaier (J. Glob. Optim., 2015)

Linear and parabolic relaxations for quadratic constraints. - Ferenc Domes; Arnold Neumaier (J. Glob. Optim., 2016)

Constraint aggregation for rigorous global optimization. - Ferenc Domes; Arnold Neumaier (Math. Program., 2016)

A branch and bound algorithm for quantified quadratic programming. - Ferenc Domes; Alexandre Goldsztejn (J. Glob. Optim., 2017)

A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations. - Ali Baharev; Ferenc Domes; Arnold Neumaier (Numer. Algorithms, 2017)

A computational study of global optimization solvers on two trust region subproblems. - Tiago Montanher; Arnold Neumaier; Ferenc Domes (J. Glob. Optim., 2018)

Rigorous packing of unit squares into a circle. - Tiago Montanher; Arnold Neumaier; Mihály Csaba Markót; Ferenc Domes; Hermann Schichl (J. Glob. Optim., 2019)