TaskPerformBoundTightening
Tighten variable bounds via optimization
Tighten variable bounds via optimization
Uses optimization-based bound tightening (OBBT).
TaskPerformBoundTightening Class:
- POASolver: Polyhedral outer approximation solver
- createPOA(): Build relaxed problem for bound tightening
OBBT Algorithm:
- For each variable: min/max subject to relaxation
- Tightens bounds beyond constraint propagation
- Improves relaxation quality
Algorithm
Optimization-Based Bound Tightening
See Also
- NLPSolverSHOT.h for POA solver
- Problem.h for bound storage
Source
Header file: `src/Tasks/TaskPerformBoundTightening.h`