Matti Järvisalo
23 papers
· 2014–2026
· 6 conferences
· across top CS/AI conferences
Achievements
🐝
Cross-Pollinator
(12)
🧭
Keyword Pioneer
🌈
Renaissance Researcher
(5)
🗺️
Taxonomy Completionist
(24)
🐣
Hot Topic Early Bird
🌉
Interdisciplinary Bridge
🌍
Conference Polyglot
(6)
🏃
Academic Marathon
(10)
🔬
Deep Specialist
(11)
🏆
Keyword Champion
(2)
🗃️
Keyword Collector
(64)
📈
Trend Setter
💎
Century Club
(20)
🔥
Unstoppable
(8)
🚀
Conference Pioneer
Conferences
IJCAI (11)
AAAI (6)
PGM (3)
AISTATS (1)
NIPS (1)
UAI (1)
Top co-authors
Keywords
combinatorial optimization
(6)
causal discovery
(5)
maximum satisfiability
(5)
structure learning
(4)
graphical model
(4)
answer set programming
(4)
bayesian network
(4)
integer programming
(3)
implicit hitting set
(3)
inductive logic programming
(3)
constraint solving
(2)
abstraction refinement
(2)
computational complexity
(2)
argumentation framework
(2)
sat solver
(2)
exact search
(2)
constraint satisfaction
(1)
branch and bound
(1)
time series
(1)
predictive accuracy
(1)