29 citations · 171 across the 24 of their papers we have counts for
5 papers · 1 filter
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall
Milan Hladík, Stefan Ratschan
In various applications the search for certificates for certain properties (e.g., stability of dynamical systems, program termination) can be formulated as a quantified constraint…
On the Efficient Gerschgorin Inclusion Usage in the Global Optimization αBB Method
Milan Hladík
In this paper, we revisit the αBB method for solving global optimization problems. We investigate optimality of the scaling vector used in Gerschgorin's inclusion theorem to calcul…
A New Operator and Method for Solving Interval Linear Equations
Milan Hladík
We deal with interval linear systems of equations. We present a new operator, which generalizes the interval Gauss-Seidel method. Also, based on the new operator and properties of…
Subsquares Approach - Simple Scheme for Solving Overdetermined Interval Linear Systems
Jaroslav Horáček, Milan Hladík
In this work we present a new simple but efficient scheme - Subsquares approach - for development of algorithms for enclosing the solution set of overdetermined interval linear sys…
Computing Enclosures of Overdetermined Interval Linear Systems
Jaroslav Horáček, Milan Hladík
This work considers special types of interval linear systems - overdetermined systems. Simply said these systems have more equations than variables. The solution set of an interval…