Showing cs.CCShow all
2 papers · 1 filter
cs.CC2025
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
Alex Bortolotti, Monaldo Mastrolilli, Marilena Palomba +1
The Sum-of-Squares (SoS) hierarchy is a powerful framework for polynomial optimization and proof complexity, offering tight semidefinite relaxations that capture many classical alg…
cs.CC2025
On the Degree Automatability of Sum-of-Squares Proofs
Alex Bortolotti, Monaldo Mastrolilli, Luis Felipe Vargas
The Sum-of-Squares (SoS) hierarchy, also known as Lasserre hierarchy, has emerged as a promising tool in optimization. However, it remains unclear whether fixed-degree SoS proofs c…