Jakob Nordstrom

1 A Stronger Exponential Lower Bound on Refutation Length

Léo Perrin, Jakob Nordstrom, 2011 .

Pebble Games, Proof Complexity, and Time-Space Trade-offs

Jakob Nordstrom, Jakob Nordstrom, 2013, 1307.3913.