Ilario Bonacina
Identifiers
- name variant Ilario Bonacina 0.60 · backfill
Papers (2)
- Space proof complexity for random 3-CNFs cs.CC · 2015 · author #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