Jakob Nordström
10 papers · 2018–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🧬 Topic Evolution
🏆
Keyword Champion
(5)
💎
Century Club · Bronze
🔥
Unstoppable · Bronze
Top co-authors
Research topics
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
Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs
AAAI 2021
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
AAAI 2021
Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions
IJCAI 2020
On Division Versus Saturation in Pseudo-Boolean Solving
IJCAI 2019
Divide and Conquer: Towards Faster Pseudo-Boolean Solving
IJCAI 2018
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks
IJCAI 2018