Jakob Nordström

ScholarGPS® ID: 59041234953328

Affiliation

Lund University, Lund, Sweden

Affiliation History

Field

Engineering and Computer Science

Discipline

Computer Science

Top Specialties

Calculus

Metrics Summary

Publication Count

Predicted Citations

490

Predicted h-index

Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

Publications
Books
Patents
NIH/NSF

Add Delete
KRW Composition Theorems via Lifting (journal article) Rezende, Susanna F. de \| Meir, Or \| Nordström, Jakob \| Pitassi, Toniann \| Robere, Robert computational complexity, volume 33, issue 1 (2024). 10.1007/s00037-024-00250-7 Cite \| Source
End-to-End Verification for Subgraph Solving (journal article) Gocht, Stephan \| McCreesh, Ciaran \| Myreen, Magnus O. \| Nordström, Jakob \| Oertel, Andy \| Tan, Yong Kiam Proceedings of the AAAI Conference on Artificial Intelligence, volume 38, issue 8, pages 8038-8047 (2024). 10.1609/aaai.v38i8.28642 Cited by (2) \| Cite \| Source
Certified MaxSAT Preprocessing (book chapter) In Automated Reasoning Ihalainen, Hannes \| Oertel, Andy \| Tan, Yong Kiam \| Berg, Jeremias \| Järvisalo, Matti \| Myreen, Magnus O. \| Nordström, Jakob Springer Nature Switzerland (2024) 10.1007/978-3-031-63498-7_24 Cite \| Source
Certifying MIP-Based Presolve Reductions for $$0$$–$$1$$ Integer Linear Programs (book chapter) In Integration of Constraint Programming, Artificial Intelligence, and Operations Research Hoen, Alexander \| Oertel, Andy \| Gleixner, Ambros \| Nordström, Jakob Springer Nature Switzerland (2024) 10.1007/978-3-031-60597-0_20 Cited by (1) \| Cite \| Source
Proof Logging for the Circuit Constraint (book chapter) In Integration of Constraint Programming, Artificial Intelligence, and Operations Research McIlree, Matthew J. \| McCreesh, Ciaran \| Nordström, Jakob Springer Nature Switzerland (2024) 10.1007/978-3-031-60599-4_3 Cited by (1) \| Cite \| Source
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz (conference) Conneryd, Jonas \| De Rezende, Susanna F. \| Nordström, Jakob \| Pang, Shuo \| Risse, Kilian 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (2023) Santa Cruz, CA, USA 10.1109/FOCS57990.2023.00007 Cited by (1) \| Cite \| Source
Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement Steps (journal article) Berkholz, Christoph \| Nordström, Jakob Journal of the ACM, volume 70, issue 5, pages 1-32 (2023). 10.1145/3195257 Cited by (1) \| Cite \| Source
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). (conference) Gocht, Stephan \| Martins, Ruben \| Nordström, Jakob \| Oertel, Andy Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23} (2023) Macau, SAR China 10.24963/ijcai.2023/716 Cite \| Source
Certified Core-Guided MaxSAT Solving (book chapter) In Automated Deduction – CADE 29 Berg, Jeremias \| Bogaerts, Bart \| Nordström, Jakob \| Oertel, Andy \| Vandesande, Dieter Springer Nature Switzerland (2023) 10.1007/978-3-031-38499-8_1 Cited by (5) \| Cite \| Source
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation (journal article) Bogaerts, Bart \| Gocht, Stephan \| McCreesh, Ciaran \| Nordström, Jakob Proceedings of the AAAI Conference on Artificial Intelligence, volume 36, issue 4, pages 3698-3707 (2022). 10.1609/aaai.v36i4.20283 Cited by (4) \| Cite \| Source
Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean conflict-driven search (journal article) Devriendt, Jo \| Gleixner, Ambros \| Nordström, Jakob Constraints, volume 26, issue 1-4, pages 26-55 (2021). 10.1007/s10601-020-09318-x Cited by (3) \| Cite \| Source
Clique Is Hard on Average for Regular Resolution (journal article) Atserias, Albert \| Bonacina, Ilario \| De Rezende, Susanna F. \| Lauria, Massimo \| Nordström, Jakob \| Razborov, Alexander Journal of the ACM, volume 68, issue 4, pages 1-26 (2021). 10.1145/3449352 Cited by (1) \| Cite \| Source
Proceedings Seventh Workshop on Proof eXchange for Theorem Proving (journal article) Gocht, Stephan \| Nordström, Jakob \| Martins, Ruben Electronic Proceedings in Theoretical Computer Science, volume 336 (2021). 10.4204/EPTCS.336.5 Cite \| Source
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling (journal article) De Rezende, Susanna F. \| Meir, Or \| Nordström, Jakob \| Robere, Robert computational complexity, volume 30, issue 1 (2021). 10.1007/s00037-020-00201-y Cited by (2) \| Cite \| Source
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs (journal article) Gocht, Stephan \| Nordström, Jakob Proceedings of the AAAI Conference on Artificial Intelligence, volume 35, issue 5, pages 3768-3777 (2021). 10.1609/aaai.v35i5.16494 Cited by (10) \| Cite \| Source
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning (journal article) Devriendt, Jo \| Gocht, Stephan \| Demirović, Emir \| Nordström, Jakob \| Stuckey, Peter J. Proceedings of the AAAI Conference on Artificial Intelligence, volume 35, issue 5, pages 3750-3758 (2021). 10.1609/aaai.v35i5.16492 Cited by (5) \| Cite \| Source
Chapter 7. Proof Complexity and SAT Solving (book chapter) In Handbook of Satisfiability Buss, Sam \| Nordström, Jakob IOS Press (2021) 10.3233/FAIA200990 Cited by (7) \| Cite \| Source
KRW Composition Theorems via Lifting (conference) de Rezende, Susanna F. \| Meir, Or \| Nordstrom, Jakob \| Pitassi, Toniann \| Robere, Robert 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) (2020) Durham, NC, USA 10.1109/FOCS46700.2020.00013 Cited by (3) \| Cite \| Source
Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity (conference) de Rezende, Susanna \| Meir, Or \| Nordstrom, Jakob \| Pitassi, Toniann \| Robere, Robert \| Vinyals, Marc 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) (2020) Durham, NC, USA 10.1109/FOCS46700.2020.00011 Cited by (4) \| Cite \| Source
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems (book chapter) In Principles and Practice of Constraint Programming Gocht, Stephan \| McBride, Ross \| McCreesh, Ciaran \| Nordström, Jakob \| Prosser, Patrick \| Trimble, James Springer International Publishing (2020) 10.1007/978-3-030-58475-7_20 Cited by (8) \| Cite \| Source