Pubblicazioni

Clique Is Hard on Average for Regular Resolution

2021 - JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
Atserias, A.; Bonacina, I.; De Rezende, S. F.; Lauria, M.; Nordstrom, J.; Razborov, A.

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