Jakob Nordström
10 papers · 2018–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (5)
🌈
Renaissance Researcher
(5)
🐣
Hot Topic Early Bird
🏆
Keyword Champion
(6)
🧬
Topic Evolution
🔥
Unstoppable
(7)
💎
Century Club
(10)
Conferences
AAAI (5)
IJCAI (5)
Top co-authors
Keywords
sat solver
(6)
cutting plane
(5)
proof logging
(4)
conflict-driven clause learning
(3)
pseudo-boolean solving
(3)
combinatorial optimization
(2)
formal verification
(2)
symmetry breaking
(2)
subgraph isomorphism
(2)
maximum clique
(2)
auxiliary variable
(1)
cardinality constraint
(1)
division rule
(1)
sat solving
(1)
dominance breaking
(1)
conflict analysis
(1)
core-guided search
(1)
pseudo-boolean proof
(1)
resolution proof system
(1)
boolean satisfiability
(1)
Papers
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
AAAI 2026
End-to-End Verification for Subgraph Solving
AAAI 2024
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract).
IJCAI 2023
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation
AAAI 2022
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
AAAI 2021
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs
AAAI 2021
Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions
IJCAI 2020
On Division Versus Saturation in Pseudo-Boolean Solving
IJCAI 2019
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
IJCAI 2018
Divide and Conquer: Towards Faster Pseudo-Boolean Solving
IJCAI 2018