Massimo Lauria

Identifiers

• name variant Massimo Lauria 0.60 · backfill

Papers (5)

1. Tight Size-Degree Bounds for Sums-of-Squares Proofs cs.CC · 2015 · author #1
2. From Small Space to Small Width in Resolution cs.CC · 2014 · author #2
3. Narrow Proofs May Be Maximally Long cs.CC · 2014 · author #2
4. Short $\mathsf{Res}^*(\mathsf{polylog})$ refutations if and only if narrow $\mathsf{Res}$ refutations cs.CC · 2013 · author #1
5. The complexity of proving that a graph is Ramsey cs.CC · 2013 · author #1

Mentions

• 1504.01656 #1 · backfill · confidence 0.70 Massimo Lauria
• 1409.2978 #2 · backfill · confidence 0.70 Massimo Lauria
• 1409.2731 #2 · backfill · confidence 0.70 Massimo Lauria
• 1310.5714 #1 · backfill · confidence 0.70 Massimo Lauria
• 1303.3166 #1 · backfill · confidence 0.70 Massimo Lauria

Frequent Coauthors

• Jakob Nordstr\"om 3 shared papers
• Albert Atserias 1 shared papers
• Marc Vinyals 1 shared papers
• Mladen Mik\v{s}a 1 shared papers
• Neil Thapen 1 shared papers
• Pavel Pudl\'ak 1 shared papers
• Vojt\v{e}ch R\"odl 1 shared papers
• Yuval Filmus 1 shared papers