Statistics
Publications
29
Citations
712
H-Index
17
Active since
1966
Jakob Nordström is an author at KTH Royal Institute of Technology specializing in algorithms, computing, and computer science.
Publications per year
1966–2024
29
29
On the interplay between proof complexity and SAT solving
Jakob Nordström · ACM SIGLOG News · 2015 · 64 citations
Divide and Conquer: Towards Faster Pseudo-Boolean Solving
Jan Elffers, Jakob Nordström · 2018 · 52 citations · Full text
On the virtue of succinct proofs
Trinh Huynh, Jakob Nordström · 2012 · 46 citations
Space Complexity in Polynomial Calculus
Massimo Lauria, Jakob Nordström, Noga Ron‐Zewi et al. · SIAM Journal on Computing · 2015 · 37 citations · Full text
1–5 of 29