11573/1701927 - 2023 -
On vanishing sums of roots of unity in polynomial calculus and sum-of-squares Bonacina, Ilario; Galesi, Nicola; Lauria, Massimo - 01a Articolo in rivista
rivista: COMPUTATIONAL COMPLEXITY (Birkhaeuser Verlag AG:Viaduktstrasse 42-44, CH 4051 Basel Switzerland:011 41 61 2050707, EMAIL: subscriptions@birkhauser.ch, INTERNET: http://www.birkhauser.ch, Fax: 011 41 61 2050792) pp. - - issn: 1016-3328 - wos: WOS:001100965700001 (0) - scopus: 2-s2.0-85176394156 (0)
11573/1654517 - 2022 -
On Vanishing Sums of Roots of Unity in Polynomial Calculus and Sum-Of-Squares Bonacina, I.; Galesi, N.; Lauria, M. - 04b Atto di convegno in volume
congresso: 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022 (Vienna, Austria1)
libro: Leibniz International Proceedings in Informatics, LIPIcs - (978-3-95977-256-3)
11573/1675249 - 2021 -
Clique Is Hard on Average for Regular Resolution Atserias, A.; Bonacina, I.; De Rezende, S. F.; Lauria, M.; Nordstrom, J.; Razborov, A. - 01a Articolo in rivista
rivista: JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. - - issn: 0004-5411 - wos: WOS:000744649100002 (0) - scopus: 2-s2.0-85122582849 (1)
11573/1199263 - 2018 -
Clique is hard on average for regular resolution Atserias, Albert; Lauria, Massimo; Bonacina, Ilario; Nordström, Jakob; De Rezende, Susanna F; Razborov, Alexander - 04b Atto di convegno in volume
congresso: 50th Annual ACM Symposium on Theory of Computing, STOC 2018 (usa)
libro: Proceedings of the Annual ACM Symposium on Theory of Computing - (9781450355599)
11573/902276 - 2016 -
A framework for space complexity in algebraic proof systems Bonacina, Ilario; Galesi, Nicola - 01a Articolo in rivista
rivista: JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY (ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 1-20 - issn: 0004-5411 - wos: WOS:000357529300006 (5) - scopus: 2-s2.0-84936945139 (12)
Bonacina, Ilario; Galesi, Nicola; Thapen, Neil - 01a Articolo in rivista
rivista: SIAM JOURNAL ON COMPUTING (Society for Industrial and Applied Mathematics:3600 University City Science Center:Philadelphia, PA 19104:(800)447-7426, (215)382-9800, EMAIL: service@siam.org, INTERNET: http://www.siam.org, Fax: (215)386-7999) pp. 1894-1909 - issn: 0097-5397 - wos: WOS:000387321500007 (5) - scopus: 2-s2.0-85010644516 (6)
11573/643028 - 2014 -
Proofs of Space: When Space Is of the Essence Ateniese, Giuseppe; Bonacina, Ilario; Faonio, Antonio; Galesi, Nicola - 04b Atto di convegno in volume
libro: Security and Cryptography for Networks - 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. Proceedings - (9783319108780; 9783319108780)
Bonacina, Ilario; Galesi, Nicola; Thapen, Neil - 04b Atto di convegno in volume
congresso: 55th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2014 (Radisson Blu Warwick Hotel, usa)
libro: Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS - (9781479965175; 9781479965175)