Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Proof Complexity"
"Gröbner basis"
Pubblicazioni
Pubblicazioni
Graph colouring is hard for algorithms based on hilbert's nullstellensatz and gröbner bases
2017 - Leibniz International Proceedings in Informatics, LIPIcs
Lauria, Massimo
; Nordström, Jakob
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma