Pages that link to "Item:Q1380122"
From MaRDI portal
The following pages link to Newton: Constraint programming over nonlinear constraints (Q1380122):
Displaying 7 items.
- Constraint propagation as information maximization (Q360048) (← links)
- Reverse propagation of McCormick relaxations (Q496587) (← links)
- Constraint propagation on quadratic constraints (Q606897) (← links)
- \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton} (Q1391927) (← links)
- Reliable nonlinear state estimation involving time uncertainties (Q1797035) (← links)
- Newtonian program analysis via tensor product (Q2828307) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)