Polyx: Accelerating Verification of Traffic Migration in Large-Scale BGP Networks. - Rongbang Wu; Longlong Zhu; Jiashuo Yu; Dong Zhang 010; Hongyan Liu 001; Chuan Lin; Zongye Lin; Junjie Lin; Lida Liao; Xiang Chen 017; Chunming Wu 001 (IWQoS, 2025)