Pages that link to "Item:Q4352540"

The following pages link to Applying interval arithmetic to real, integer, and boolean constraints (Q4352540):

Displaying 20 items.

• Constraint propagation as information maximization (Q360048) (← links)
• Reverse propagation of McCormick relaxations (Q496587) (← links)
• Constraint propagation on quadratic constraints (Q606897) (← links)
• Interval analysis on directed acyclic graphs for global optimization (Q816066) (← links)
• A new framework for sharp and efficient resolution of NCSP with manifolds of solutions (Q968347) (← links)
• A branch and bound algorithm for numerical Max-CSP (Q968350) (← links)
• Efficient handling of universally quantified inequalities (Q1020499) (← links)
• Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
• Local consistency for extended CSPs (Q1035707) (← links)
• Enhancing numerical constraint propagation using multiple inclusion representations (Q1039582) (← links)
• Interval propagation and search on directed acyclic graphs for numerical constraint solving (Q1041436) (← links)
• A gentle introduction to Numerica (Q1274762) (← links)
• \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton} (Q1391927) (← links)
• Solving linear, min and max constraint systems using CLP based on relational interval arithmetic (Q1391939) (← links)
• Accelerating filtering techniques for numeric CSPs (Q1606118) (← links)
• Stability analysis of discrete-time switched systems via multi-step multiple Lyapunov-like functions (Q1690489) (← links)
• Domain reduction techniques for global NLP and MINLP optimization (Q1699520) (← links)
• A global constraint for over-approximation of real-time streams (Q1699526) (← links)
• Safe and tight linear estimators for global optimization (Q1774166) (← links)
• The essence of constraint propagation (Q1960525) (← links)