Pages that link to "Item:Q3396394"
From MaRDI portal
The following pages link to G<scp>LOPT</scp>L<scp>AB</scp>: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems (Q3396394):
Displaying 14 items.
- GLOPTLAB (Q15315) (← links)
- Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO (Q322958) (← links)
- GLOMIQO: global mixed-integer quadratic optimizer (Q367170) (← links)
- Rigorous filtering using linear relaxations (Q453629) (← links)
- Constraint propagation on quadratic constraints (Q606897) (← links)
- A scaling algorithm for polynomial constraint satisfaction problems (Q956593) (← links)
- Certificates of infeasibility via nonsmooth optimization (Q1675645) (← links)
- Rigorous verification of feasibility (Q2018466) (← links)
- First order rejection tests for multiple-objective optimization (Q2250111) (← links)
- The optimization test environment (Q2357211) (← links)
- Interval unions (Q2359762) (← links)
- Algorithmic differentiation techniques for global optimization in the COCONUT environment (Q2885482) (← links)
- Global optimization (Q5896995) (← links)
- Constraint aggregation for rigorous global optimization (Q5962722) (← links)
