Pubblicazioni

The power of negative reasoning

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

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