Matti Järvisalo
23 papers · 2014–2026 · 6 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 ↓+6 more ↓ Show less ↑
🗺️ Taxonomy Completionist (24) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Gold 🐣 Hot Topic Early Bird
🔬
Deep Specialist
(11)
🏆
Keyword Champion
(2)
🚀
Conference Pioneer
🔥
Unstoppable · Bronze
🗃️
Keyword Collector
(64)
💎
Century Club · Bronze
Top co-authors
Research topics
Machine Learning
(14)
Mathematics & Optimization
(13)
Artificial Intelligence
(12)
Optimization
(12)
Core AI
(10)
Optimization & Theory
(8)
Core Methods
(6)
Knowledge & Reasoning
(5)
Reasoning
(5)
Bayesian & Probabilistic · Artificial Intelligence
(3)
Bayesian & Probabilistic · Machine Learning
(3)
Learning Types
(3)
Computer Science
(2)
Foundations
(2)
Mathematics
(2)
Keywords
combinatorial optimization
(6)
maximum satisfiability
(5)
causal discovery
(5)
structure learning
(4)
graphical model
(4)
bayesian network
(4)
answer set programming
(4)
inductive logic programming
(3)
implicit hitting set
(3)
integer programming
(3)
constraint solving
(2)
exact search
(2)
abstraction refinement
(2)
computational complexity
(2)
sat solver
(2)
causal graph
(2)
argumentation framework
(2)
constraint satisfaction
(1)
branch and bound
(1)
time series
(1)
Papers
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
AAAI 2026
Ordered Objectives in Maximum Satisfiability
AAAI 2026
Symmetry Breaking for Inductive Logic Programming
AAAI 2026
Learning Big Logical Rules by Joining Small Rules
IJCAI 2024
Learning MDL Logic Programs from Noisy Data
AAAI 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
Enumerating Potential Maximal Cliques via SAT and ASP
IJCAI 2019
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
AAAI 2019
Learning Optimal Causal Graphs with Exact Search
PGM 2018
Reduced Cost Fixing for Maximum Satisfiability
IJCAI 2018
A Core-Guided Approach to Learning Optimal Causal Graphs
IJCAI 2017
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)
IJCAI 2017
Learning Chordal Markov Networks via Branch and Bound
NeurIPS 2017
Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications
IJCAI 2016
Causal Discovery from Subsampled Time Series Data by Constraint Optimization
PGM 2016
Optimal Status Enforcement in Abstract Argumentation
IJCAI 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