Optimization-Based Bound Tightening
Implementations
SHOT
- TaskPerformBoundTightening.h - 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