SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization - Kurpisz, Adam; Potechin, Aaron; Wirth, Elias (Mathematics of operations research, 2025)