Ferenc Domes

Available identifiers

zbMath Open domes.ferencMaRDI QIDQ245495

List of research outcomes

Publication	Date of Publication	Type
Rigorous global filtering methods with interval unions	2020-12-15	Paper
Rigorous packing of unit squares into a circle	2019-05-23	Paper
A computational study of global optimization solvers on two trust region subproblems	2018-08-29	Paper
Using interval unions to solve linear systems of equations with uncertainties	2017-10-24	Paper
A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations	2017-10-10	Paper
Interval unions	2017-06-22	Paper
The optimization test environment	2017-06-19	Paper
A branch and bound algorithm for quantified quadratic programming	2017-05-22	Paper
Linear and parabolic relaxations for quadratic constraints	2016-06-29	Paper
Constraint aggregation for rigorous global optimization	2016-02-23	Paper
Rigorous verification of feasibility	2015-03-24	Paper
First order rejection tests for multiple-objective optimization	2014-07-04	Paper
On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables	2013-06-04	Paper
Towards a Self-Reflective, Context-Aware Semantic Representation of Mathematical Specifications	2012-09-28	Paper
Rigorous filtering using linear relaxations	2012-09-27	Paper
Rigorous Enclosures of Ellipsoids and Directed Cholesky Factorizations	2011-06-15	Paper
Constraint propagation on quadratic 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	2009-09-18	Paper
A scaling algorithm for polynomial constraint satisfaction problems	2008-11-25	Paper

Research outcomes over time

This page was built for person: Ferenc Domes