Pubblicazioni

The power of negative reasoning

2021 - Leibniz International Proceedings in Informatics, LIPIcs
de Rezende, S. F.; Lauria, M.; Nordstrom, J.; Sokolov, D.

Space proof complexity for random 3-CNFs

2017 - INFORMATION AND COMPUTATION
Bennett, Patrick; Bonacina, Ilario; Galesi, Nicola; Huynh, Tony; Molloy, Mike; Wollan, PAUL JOSEPH

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

A framework for space complexity in algebraic proof systems

2016 - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
Bonacina, Ilario; Galesi, Nicola

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma