Jakob Nordström
Author
Alternate names J Nordstrom, Jakob Nordström, Jakob Nordstrom, J. E. NORDSTROM, Jakob Nordström
Institution University of Copenhagen
Past institutions Lund University, University of Copenhagen, University of Glasgow, Vrije Universiteit Brussel, KTH Royal Institute of Technology +5 more
ORCID: Yes
H-index: 21
I10-index: 43
Works count: 179
Citations count: 1,384
Pebble Games, Proof Complexity, and Time-Space Trade-offs
2013 · Jakob Nordström · Logical Methods in Computer Science
On the interplay between proof complexity and SAT solving
2015 · Jakob Nordström · ACM SIGLOG News
Narrow Proofs May Be Spacious:Separating Space and Width in Resolution
2009 · Jakob Nordström · SIAM Journal on Computing