Ilario Bonacina

Identifiers

• name variant Ilario Bonacina 0.60 · backfill

Papers (2)

1. Space proof complexity for random 3-CNFs cs.CC · 2015 · author #2
2. Space proof complexity for random $3$-CNFs via a $(2-\epsilon)$-Hall's Theorem cs.CC · 2014 · author #1

Mentions

• 1503.01613 #2 · backfill · confidence 0.70 Ilario Bonacina
• 1411.1619 #1 · backfill · confidence 0.70 Ilario Bonacina

Frequent Coauthors

• Nicola Galesi 2 shared papers
• Paul Wollan 2 shared papers
• Tony Huynh 2 shared papers
• Mike Molloy 1 shared papers
• Patrick Bennett 1 shared papers