Jakob Nordström
10 papers
· 2018–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(6)
🐝
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)