Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Positivstellensatz"
"resolution"
Pubblicazioni
Pubblicazioni
Tight size-degree bounds for sums-of-squares proofs
2015 - Leibniz International Proceedings in Informatics, LIPIcs
Lauria, Massimo
; Nordström, Jakob
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma