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

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