Exact DC Representation of Multi-Tier Offloading Product in SAGINs via Quantifier Elimination

Minh-Tuong Nguyen, Vo Phi Son, Dinh Thai Hoang

Task offloading in space--air--ground integrated networks (SAGIN) yields non-convex signomial or polynomial programs with cubic couplings. Sequential geometric programming (SGP) ap…