Applying interval arithmetic to real, integer, and boolean constraints
From MaRDI portal
Recommendations
Cited in
(37)- Efficient handling of universally quantified inequalities
- Tightened reachability constraints for the verification of linear hybrid systems
- Local consistency for extended CSPs
- Enhancing numerical constraint propagation using multiple inclusion representations
- Interval propagation and search on directed acyclic graphs for numerical constraint solving
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach
- A gentle introduction to Numerica
- Involution narrowing algebra
- \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
- Solving linear, min and max constraint systems using CLP based on relational interval arithmetic
- Accelerating filtering techniques for numeric CSPs
- Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions
- Domain reduction techniques for global NLP and MINLP optimization
- A global constraint for over-approximation of real-time streams
- Safe and tight linear estimators for global optimization
- The essence of constraint propagation
- SUSPECT: MINLP special structure detector for Pyomo
- Solving kinematics problems by efficient interval partitioning
- An analysis of arithmetic constraints on integer intervals
- On a decision procedure for quantified linear programs
- A class of polynomially solvable range constraints for interval analysis without widenings
- Algorithmic differentiation techniques for global optimization in the COCONUT environment
- The p-box cdf-intervals: a reliable constraint reasoning with quantifiable information
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
- An Analysis of Slow Convergence in Interval Propagation
- Constraint propagation as information maximization
- scientific article; zbMATH DE number 683340 (Why is no real title available?)
- From chaotic iteration to constraint propagation
- Reverse propagation of McCormick relaxations
- Combining slicing and constraint solving for validation of measurement software
- Analytic constraint solving and interval arithmetic
- Interval constraint propagation with application to bounded-error estimation
- scientific article; zbMATH DE number 7687800 (Why is no real title available?)
- Constraint propagation on quadratic constraints
- Interval analysis on directed acyclic graphs for global optimization
- A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
- A branch and bound algorithm for numerical Max-CSP
This page was built for publication: Applying interval arithmetic to real, integer, and boolean constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4352540)
