gaol
From MaRDI portal
Software:17725
swMATH5586MaRDI QIDQ17725FDOQ17725
Author name not available (Why is that?)
Source code repository: https://github.com/goualard-f/GAOL
Cited In (13)
- A branch and bound algorithm for quantified quadratic programming
- Propagating systems of dense linear integer constraints
- A certified branch \& bound approach for reliability-based optimization problems
- Constraint propagation using dominance in interval branch \& bound for nonlinear biobjective optimization
- An interval component for continuous constraints.
- How do you compute the midpoint of an interval?
- Interval-based projection method for under-constrained numerical systems
- A standard branch-and-bound approach for nonlinear semi-infinite problems
- Interval Subroutine Library Mission
- On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach
- The design of the Boost interval arithmetic library
- First order rejection tests for multiple-objective optimization
- Rigorous floating-point mixed-precision tuning
This page was built for software: gaol