Ferenc Domes

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Rigorous global filtering methods with interval unions	2020-12-15	Paper
Rigorous packing of unit squares into a circle Journal of Global Optimization	2019-05-23	Paper
A computational study of global optimization solvers on two trust region subproblems Journal of Global Optimization	2018-08-29	Paper
Using interval unions to solve linear systems of equations with uncertainties BIT	2017-10-24	Paper
A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations Numerical Algorithms	2017-10-10	Paper
Interval unions BIT	2017-06-22	Paper
The optimization test environment Optimization and Engineering	2017-06-19	Paper
A branch and bound algorithm for quantified quadratic programming Journal of Global Optimization	2017-05-22	Paper
Linear and parabolic relaxations for quadratic constraints Journal of Global Optimization	2016-06-29	Paper
Constraint aggregation for rigorous global optimization Mathematical Programming. Series A. Series B	2016-02-23	Paper
Rigorous verification of feasibility Journal of Global Optimization	2015-03-24	Paper
First order rejection tests for multiple-objective optimization Journal of Global Optimization	2014-07-04	Paper
On solving mixed-integer constraint satisfaction problems with unbounded variables Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2013-06-04	Paper
Towards a self-reflective, context-aware semantic representation of mathematical specifications Algebraic Modeling Systems	2012-09-28	Paper
Rigorous filtering using linear relaxations Journal of Global Optimization	2012-09-27	Paper
Rigorous enclosures of ellipsoids and directed Cholesky factorizations SIAM Journal on Matrix Analysis and Applications	2011-06-15	Paper
Constraint propagation on quadratic constraints Constraints	2010-11-19	Paper
G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems Optimization Methods & Software	2009-09-18	Paper
A scaling algorithm for polynomial constraint satisfaction problems Journal of Global Optimization	2008-11-25	Paper

Research outcomes over time

This page was built for person: Ferenc Domes