Pubblicazioni

Space proof complexity for random 3-CNFs

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

Total space in resolution

2016 - SIAM JOURNAL ON COMPUTING
Bonacina, Ilario; Galesi, Nicola; Thapen, Neil

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