RealPaver
From MaRDI portal
Software:16577
swMATH4401MaRDI QIDQ16577FDOQ16577
Author name not available (Why is that?)
Cited In (49)
- Title not available (Why is that?)
- 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
- A certified branch \& bound approach for reliability-based optimization problems
- Computation of spectral sets for uncertain linear fractional-order systems
- Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
- Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization
- An analysis of arithmetic constraints on integer intervals
- Logic Programming
- QFT prefilter design for multivariable systems using interval constraint satisfaction technique
- How do you compute the midpoint of an interval?
- Constraint propagation on quadratic constraints
- Title not available (Why is that?)
- Predicate Abstraction of Programs with Non-linear Computation
- Title not available (Why is that?)
- An effective method to interval observer design for time-varying systems
- Polynomial function intervals for floating-point software verification
- Interval-based projection method for under-constrained numerical systems
- A reliable affine relaxation method for global optimization
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
- Logic Programming
- Improving inter-block backtracking with interval Newton
- Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO
- δ-Complete Decision Procedures for Satisfiability over the Reals
- raSAT: an SMT solver for polynomial constraints
- Automated design of fractional PI QFT controller using interval constraint satisfaction technique (ICST)
- A generalization of the classical \(\alpha \)BB convex underestimation via diagonal and nondiagonal quadratic terms
- Real Algebraic Strategies for MetiTarski Proofs
- Contractor programming
- 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
- Model Repair for Probabilistic Systems
- Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems
- When Interval Analysis Helps Inter-block Backtracking
- Interval propagation and search on directed acyclic graphs for numerical constraint solving
- Formalization of Bernstein polynomials and applications to global optimization
- A branch and prune algorithm for the computation of generalized aspects of parallel robots
- LP narrowing: A new strategy for finding all solutions of nonlinear equations
- Reverse propagation of McCormick relaxations
- Rigorous Error Bounds for the Optimal Value in Semidefinite Programming
- raSAT: An SMT Solver for Polynomial Constraints
- A rigorous global filtering algorithm for quadratic constraints
- Enhancing numerical constraint propagation using multiple inclusion representations
This page was built for software: RealPaver
