Algorithm 852
From MaRDI portal
Recommendations
Cited in
(46)- Optimization modulo non-linear arithmetic via incremental linearization
- scientific article; zbMATH DE number 2079838 (Why is no real title available?)
- Constructive Interval Disjunction
- Exploiting binary floating-point representations for constraint propagation
- Finding all solutions of separable systems of piecewise-linear equations using integer programming
- Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm
- Computation of spectral sets for uncertain linear fractional-order systems
- A certified branch \& bound approach for reliability-based optimization problems
- A Tabu Search Method for Interval Constraints
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
- Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test
- Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite
- Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization
- A fuzzy constraint-based approach to data reconciliation in material flow analysis
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations
- Model repair for probabilistic systems
- Constraint propagation on quadratic constraints
- QFT prefilter design for multivariable systems using interval constraint satisfaction technique
- How do you compute the midpoint of an interval?
- An effective method to interval observer design for time-varying systems
- Polynomial function intervals for floating-point software verification
- A reliable affine relaxation method for global optimization
- RealPaver
- Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO
- Improving inter-block backtracking with interval Newton
- raSAT: an SMT solver for polynomial constraints
- Automated design of fractional PI QFT controller using interval constraint satisfaction technique (ICST)
- Contractor programming
- A generalization of the classical BB convex underestimation via diagonal and nondiagonal quadratic terms
- A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
- Interval observer design for consistency checks of nonlinear continuous-time systems
- Local consistency for extended CSPs
- Variable symmetry breaking in numerical constraint problems
- On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach
- Probabilistic constraints for nonlinear inverse problems
- Example Guided Synthesis of Linear Approximations for Neural Network Verification
- Interval propagation and search on directed acyclic graphs for numerical constraint solving
- LP narrowing: A new strategy for finding all solutions of nonlinear equations
- Reverse propagation of McCormick relaxations
- Formalization of Bernstein polynomials and applications to global optimization
- A branch and prune algorithm for the computation of generalized aspects of parallel robots
- On the combination of interval constraint solvers
- raSAT: An SMT Solver for Polynomial Constraints
- Structural analysis by generalized embedding method for integro-differential-algebraic equations
- Enhancing numerical constraint propagation using multiple inclusion representations
- Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Empirical evaluation of innovations
This page was built for publication: Algorithm 852
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3549165)
