SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization. - Kurpisz, Adam; Potechin, Aaron; Wirth, Elias (Mathematics of Operations Research (INFORMS), 2026)