TY - RPRT TI - Vanishing Ideals and the Computational Tractability of Sum-of-Squares over Boolean Domains AU - Monaldo Mastrolilli PY - 2026 UR - https://arxiv.org/abs/2609.37929 ID - 2609.37929 ER -