| |
| 2008 | ||
|---|---|---|
| 7 | EE | Eli Ben-Sasson, Jakob Nordström: Short Proofs May Be Spacious: An Optimal Separation of Space and Length in Resolution. FOCS 2008: 709-718 |
| 6 | EE | Jakob Nordström, Johan Håstad: Towards an optimal separation of space and length in resolution. STOC 2008: 701-710 |
| 5 | EE | Jakob Nordström, Johan Håstad: Towards an Optimal Separation of Space and Length in Resolution CoRR abs/0803.0661: (2008) |
| 4 | EE | Jakob Nordström, Johan Håstad: Towards an Optimal Separation of Space and Length in Resolution. Electronic Colloquium on Computational Complexity (ECCC) 15(026): (2008) |
| 2007 | ||
| 3 | EE | Jakob Nordström: A Simplified Way of Proving Trade-off Results for Resolution. Electronic Colloquium on Computational Complexity (ECCC) 14(114): (2007) |
| 2006 | ||
| 2 | EE | Jakob Nordström: Narrow proofs may be spacious: separating space and width in resolution. STOC 2006: 507-516 |
| 2005 | ||
| 1 | EE | Jakob Nordström: Narrow Proofs May Be Spacious: Separating Space and Width in Resolution Electronic Colloquium on Computational Complexity (ECCC)(066): (2005) |
| 1 | Eli Ben-Sasson | [7] |
| 2 | Johan Håstad | [4] [5] [6] |