APA (7th ed.) Citation

Bortolotti, A., Mastrolilli, M., & Vargas, L. F. (2025). On the Degree Automatability of Sum-of-Squares Proofs.

Chicago Style (17th ed.) Citation

Bortolotti, Alex, Monaldo Mastrolilli, and Luis Felipe Vargas. On the Degree Automatability of Sum-of-Squares Proofs. 2025.

MLA (9th ed.) Citation

Bortolotti, Alex, et al. On the Degree Automatability of Sum-of-Squares Proofs. 2025.