On the Degree Automatability of Sum-Of-Squares Proofs.

Alex Bortolotti, Monaldo Mastrolilli, Luis Felipe Vargas

Browse the full ICALP paper archive.