Matti Järvisalo
23 papers · 2014–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (6) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🏃 Academic Marathon (10)
🌉
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)
Papers
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
AAAI 2026
Symmetry Breaking for Inductive Logic Programming
AAAI 2026
Ordered Objectives in Maximum Satisfiability
AAAI 2026
Learning MDL Logic Programs from Noisy Data
AAAI 2024
Learning Big Logical Rules by Joining Small Rules
IJCAI 2024
Unifying Core-Guided and Implicit Hitting Set Based Optimization
IJCAI 2023
Maximal ancestral graph structure learning via exact search
UAI 2021
Controllability of Control Argumentation Frameworks
IJCAI 2020
Deciding Acceptance in Incomplete Argumentation Frameworks
AAAI 2020
Learning Optimal Cyclic Causal Graphs from Interventional Data
PGM 2020
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
AAAI 2019
Enumerating Potential Maximal Cliques via SAT and ASP
IJCAI 2019
Reduced Cost Fixing for Maximum Satisfiability
IJCAI 2018
Learning Optimal Causal Graphs with Exact Search
PGM 2018
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)
IJCAI 2017
A Core-Guided Approach to Learning Optimal Causal Graphs
IJCAI 2017
Learning Chordal Markov Networks via Branch and Bound
NIPS 2017
Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications
IJCAI 2016
Optimal Status Enforcement in Abstract Argumentation
IJCAI 2016
Causal Discovery from Subsampled Time Series Data by Constraint Optimization
PGM 2016
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
IJCAI 2015
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT
IJCAI 2015
Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability
AISTATS 2014