| 2026 | AAAI | Ordered Objectives in Maximum Satisfiability. | Jeremias Berg, Andr Schidler, Matti Jrvisalo |
| 2026 | AAAI | Symmetry Breaking for Inductive Logic Programming. | Andrew Cropper, David M. Cerna, Matti Jrvisalo |
| 2026 | AAAI | Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2026 | CP | Revisiting Integer Programming Encodings of Acyclicity. | Masood Feyzbakhsh Rankooh, Matti Jrvisalo |
| 2026 | CPAIOR | Multi-objective Maximum Satisfiability by Single-Objective Implicit Hitting Set Optimization. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2026 | KR | Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games. | Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Jrvisalo |
| 2026 | KR | SAT-based ASP Solving and Optimization via a General Transitive Closure Framework. | Masood Feyzbakhsh Rankooh, Matti Jrvisalo |
| 2026 | SAT | HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization (Tool Paper). | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Matti Jrvisalo |
| 2026 | SAT | Scuttle: A System for Multi-Objective MaxSAT (Tool Paper). | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2025 | CP | Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo, Bart Bogaerts |
| 2025 | JELIA | Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2025 | KR | Reasoning in Assumption-Based Argumentation via SAT. | Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Jrvisalo |
| 2025 | KR | Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability. | Masood Feyzbakhsh Rankooh, Andreas Niskanen, Matti Jrvisalo |
| 2025 | TACAS | Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability. | Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2024 | AAAI | Learning MDL Logic Programs from Noisy Data. | Cline Hocquette, Andreas Niskanen, Matti Jrvisalo, Andrew Cropper |
| 2024 | CPAIOR | Core Boosting in SAT-Based Multi-objective Optimization. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2024 | ECAI | Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation. | Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Jrvisalo |
| 2024 | ECAI | SAT-Based Approaches to Reasoning in Choice Logics. | Tuomo Lehtonen, Andreas Niskanen, Matti Jrvisalo |
| 2024 | IJCAI | Learning Big Logical Rules by Joining Small Rules. | Cline Hocquette, Andreas Niskanen, Rolf Morel, Matti Jrvisalo, Andrew Cropper |
| 2024 | IJCAR | Certified MaxSAT Preprocessing. | Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Jrvisalo, Magnus O. Myreen, Jakob Nordstrm |
| 2024 | KR | Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. | Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Jrvisalo |
| 2023 | CP | Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. | Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Jrvisalo |
| 2023 | ECAI | Oracle-Based Local Search for Pseudo-Boolean Optimization. | Ashlin Iser, Jeremias Berg, Matti Jrvisalo |
| 2023 | ECAI | MaxSAT-Based Inconsistency Measurement. | Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Jrvisalo |
| 2023 | IJCAI | Unifying Core-Guided and Implicit Hitting Set Based Optimization. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2023 | JELIA | Computing MUS-Based Inconsistency Measures. | Isabelle Kuhlmann, Andreas Niskanen, Matti Jrvisalo |
| 2023 | KR | Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). | Matti Jrvisalo, Tuomo Lehtonen, Andreas Niskanen |
| 2023 | KR | Argumentative Reasoning in ASPIC+ under Incomplete Information. | Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes P. Wallner, Matti Jrvisalo |
| 2022 | CADE | Clause Redundancy and Preprocessing in Maximum Satisfiability. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2022 | COMMA | Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2022 | KR | Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2022 | LPNMR | Computing Smallest MUSes of Quantified Boolean Formulas. | Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Jrvisalo |
| 2022 | SAT | Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. | Pavel Smirnov, Jeremias Berg, Matti Jrvisalo |
| 2022 | SAT | MaxSAT-Based Bi-Objective Boolean Optimization. | Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Jrvisalo |
| 2022 | SAT | Incremental Maximum Satisfiability. | Andreas Niskanen, Jeremias Berg, Matti Jrvisalo |
| 2021 | CP | Refined Core Relaxation for Core-Guided MaxSAT Solving. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2021 | CP | Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper). | Tuukka Korhonen, Matti Jrvisalo |
| 2021 | CP | Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. | Andreas Niskanen, Jeremias Berg, Matti Jrvisalo |
| 2021 | CP | Pseudo-Boolean Optimization by Implicit Hitting Sets. | Pavel Smirnov, Jeremias Berg, Matti Jrvisalo |
| 2021 | UAI | Maximal ancestral graph structure learning via exact search. | Kari Rantanen, Antti Hyttinen, Matti Jrvisalo |
| 2020 | AAAI | Finding Most Compatible Phylogenetic Trees over Multi-State Characters. | Tuukka Korhonen, Matti Jrvisalo |
| 2020 | AAAI | Deciding Acceptance in Incomplete Argumentation Frameworks. | Andreas Niskanen, Daniel Neugebauer, Matti Jrvisalo, Jrg Rothe |
| 2020 | ECAI | Preprocessing in Incomplete MaxSAT Solving. | Marcus Leivo, Jeremias Berg, Matti Jrvisalo |
| 2020 | ECAI | Strong Refinements for Hard Problems in Argumentation Dynamics. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | ECAI | Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | ECAI | Learning Chordal Markov Networks via Stochastic Local Search. | Kari Rantanen, Antti Hyttinen, Matti Jrvisalo |
| 2020 | IJCAI | Controllability of Control Argumentation Frameworks. | Andreas Niskanen, Daniel Neugebauer, Matti Jrvisalo |
| 2020 | KR | An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2020 | KR | Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | KR | -toksia: An Efficient Abstract Argumentation Reasoner. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | LPAR | Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation. | Jarkko Savela, Emilia Oikarinen, Matti Jrvisalo |
| 2019 | AAAI | Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2019 | IJCAI | Enumerating Potential Maximal Cliques via SAT and ASP. | Tuukka Korhonen, Jeremias Berg, Matti Jrvisalo |
| 2019 | ICTAI | Centrality Heuristics for Exact Model Counting. | Bernhard Bliem, Matti Jrvisalo |
| 2019 | JELIA | Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. | Jeremias Berg, Matti Jrvisalo |
| 2019 | JELIA | Preprocessing Argumentation Frameworks via Replacement Patterns. | Wolfgang Dvork, Matti Jrvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran |
| 2018 | AAAI | Premise Set Caching for Enumerating Minimal Correction Subsets. | Alessandro Previti, Carlos Menca, Matti Jrvisalo, Joo Marques-Silva |
| 2018 | COMMA | SAT for Argumentation. | Matti Jrvisalo |
| 2018 | COMMA | SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. | Tuomo Lehtonen, Andreas Niskanen, Matti Jrvisalo |
| 2018 | IJCAI | Reduced Cost Fixing for Maximum Satisfiability. | Fahiem Bacchus, Antti Hyttinen, Matti Jrvisalo, Paul Saikko |
| 2018 | KR | Extension Enforcement under Grounded Semantics in Abstract Argumentation. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2018 | KR | A Hybrid Approach to Optimization in Answer Set Programming. | Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Jrvisalo |
| 2018 | SAC | A preference-based approach to backbone computation with application to argumentation. | Alessandro Previti, Matti Jrvisalo |
| 2018 | SAT | Applications of MaxSAT in Data Analysis. | Jeremias Berg, Antti Hyttinen, Matti Jrvisalo |
| 2017 | AAAI | SAT Competition 2016: Recent Developments. | Toms Balyo, Marijn J. H. Heule, Matti Jrvisalo |
| 2017 | CP | Reduced Cost Fixing in MaxSAT. | Fahiem Bacchus, Antti Hyttinen, Matti Jrvisalo, Paul Saikko |
| 2017 | CP | Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. | Jeremias Berg, Matti Jrvisalo |
| 2017 | CP | Minimum-Width Confidence Bands via Constraint Optimization. | Jeremias Berg, Emilia Oikarinen, Matti Jrvisalo, Kai Puolamki |
| 2017 | ECSQARU | From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. | Tuomo Lehtonen, Johannes P. Wallner, Matti Jrvisalo |
| 2017 | IJCAI | Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract). | James Cussens, Matti Jrvisalo, Janne H. Korhonen, Mark Bartlett |
| 2017 | IJCAI | A Core-Guided Approach to Learning Optimal Causal Graphs. | Antti Hyttinen, Paul Saikko, Matti Jrvisalo |
| 2017 | ICTAI | On Computing Generalized Backbones. | Alessandro Previti, Alexey Ignatiev, Matti Jrvisalo, Joo Marques-Silva |
| 2017 | SAT | MaxPre: An Extended MaxSAT Preprocessor. | Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2017 | SAT | Improving MCS Enumeration via Caching. | Alessandro Previti, Carlos Menca, Matti Jrvisalo, Joo Marques-Silva |
| 2016 | AAAI | Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. | Johannes P. Wallner, Andreas Niskanen, Matti Jrvisalo |
| 2016 | CP | Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. | Jeremias Berg, Matti Jrvisalo |
| 2016 | ECAI | Subsumed Label Elimination for Maximum Satisfiability. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2016 | ECAI | Synthesizing Argumentation Frameworks from Examples. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | IJCAI | Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications. | Matti Jrvisalo |
| 2016 | IJCAI | Optimal Status Enforcement in Abstract Argumentation. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | JELIA | Pakota: A System for Enforcement in Abstract Argumentation. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | KR | Implicit Hitting Set Algorithms for Reasoning Beyond NP. | Paul Saikko, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | SAT | LMHS: A SAT-IP Hybrid MaxSAT Solver. | Paul Saikko, Jeremias Berg, Matti Jrvisalo |
| 2015 | CPAIOR | MaxSAT-Based Cutting Planes for Learning Graphical Models. | Paul Saikko, Brandon M. Malone, Matti Jrvisalo |
| 2015 | IJCAI | Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2015 | IJCAI | Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). | Wolfgang Dvork, Matti Jrvisalo, Johannes Peter Wallner, Stefan Woltran |
| 2015 | ICTAI | Re-using Auxiliary Variables for MaxSAT Preprocessing. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2015 | UAI | Do-calculus when the True Graph Is Unknown. | Antti Hyttinen, Frederick Eberhardt, Matti Jrvisalo |
| 2015 | UAI | Impact of Learning Strategies on the Quality of Bayesian Networks: An Empirical Evaluation. | Brandon M. Malone, Matti Jrvisalo, Petri Myllymki |
| 2015 | UAI | Learning Optimal Chain Graphs with Answer Set Programming. | Dag Sonntag, Matti Jrvisalo, Jos M. Pea, Antti Hyttinen |
| 2014 | AAAI | Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. | Kerstin Bunte, Matti Jrvisalo, Jeremias Berg, Petri Myllymki, Jaakko Peltonen, Samuel Kaski |
| 2014 | AAAI | Predicting the Hardness of Learning Bayesian Networks. | Brandon M. Malone, Kustaa Kangas, Matti Jrvisalo, Mikko Koivisto, Petri Myllymki |
| 2014 | AISTATS | Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. | Jeremias Berg, Matti Jrvisalo, Brandon M. Malone |
| 2014 | ICTAI | SAT-Based Approaches to Treewidth Computation: An Evaluation. | Jeremias Berg, Matti Jrvisalo |
| 2014 | JELIA | Answer Set Solver Backdoors. | Emilia Oikarinen, Matti Jrvisalo |
| 2014 | UAI | Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming. | Antti Hyttinen, Frederick Eberhardt, Matti Jrvisalo |
| 2014 | SAT | Conditional Lower Bounds for Failed Literals and Related Techniques. | Matti Jrvisalo, Janne H. Korhonen |
| 2013 | CPAIOR | Revisiting Hyper Binary Resolution. | Marijn Heule, Matti Jrvisalo, Armin Biere |
| 2013 | ICDM | Optimal Correlation Clustering via MaxSAT. | Jeremias Berg, Matti Jrvisalo |
| 2013 | UAI | Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure. | Antti Hyttinen, Patrik O. Hoyer, Frederick Eberhardt, Matti Jrvisalo |
| 2013 | TACAS | Formula Preprocessing in MUS Extraction. | Anton Belov, Matti Jrvisalo, Joo Marques-Silva |
| 2012 | CADE | Inprocessing Rules. | Matti Jrvisalo, Marijn Heule, Armin Biere |
| 2012 | CP | Relating Proof Complexity Measures and Practical Hardness of SAT. | Matti Jrvisalo, Arie Matsliah, Jakob Nordstrm, Stanislav Zivn |
| 2012 | KR | Complexity-Sensitive Decision Procedures for Abstract Argumentation. | Wolfgang Dvork, Matti Jrvisalo, Johannes Peter Wallner, Stefan Woltran |
| 2012 | PODC | Weak models of distributed computing, with connections to modal logic. | Lauri Hella, Matti Jrvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema |
| 2012 | SAT | Finding Efficient Circuits for Ensemble Computation. | Matti Jrvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen |
| 2011 | CP | On the Relative Efficiency of DPLL and OBDDs with Axiom and Join. | Matti Jrvisalo |
| 2011 | IJCAI | Depth-Driven Circuit-Level Stochastic Local Search for SAT. | Anton Belov, Matti Jrvisalo, Zbigniew Stachniak |
| 2011 | LPNMR | Itemset Mining as a Challenge Application for Answer Set Enumeration. | Matti Jrvisalo |
| 2011 | SAT | Efficient CNF Simplification Based on Binary Implication Graphs. | Marijn Heule, Matti Jrvisalo, Armin Biere |
| 2010 | LPAR | Clause Elimination Procedures for CNF Formulas. | Marijn Heule, Matti Jrvisalo, Armin Biere |
| 2010 | LPAR | Covered Clause Elimination. | Marijn Heule, Matti Jrvisalo, Armin Biere |
| 2010 | SAT | Reconstructing Solutions after Blocked Clause Elimination. | Matti Jrvisalo, Armin Biere |
| 2010 | TACAS | Blocked Clause Elimination. | Matti Jrvisalo, Armin Biere, Marijn Heule |
| 2009 | LPNMR | A Module-Based Framework for Multi-language Constraint Modeling. | Matti Jrvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemel |
| 2009 | LPNMR | Max-ASP: Maximum Satisfiability of Answer Set Programs. | Emilia Oikarinen, Matti Jrvisalo |
| 2008 | AAAI | On the Power of Top-Down Branching Heuristics. | Matti Jrvisalo, Tommi A. Junttila |
| 2008 | ECAI | Justification-Based Non-Clausal Local Search for SAT. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2008 | LPAR | Justification-Based Local Search with Adaptive Noise Strategies. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |
| 2007 | CP | Limitations of Restricted Branching in Clause Learning. | Matti Jrvisalo, Tommi A. Junttila |
| 2007 | ICLP | Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. | Matti Jrvisalo, Emilia Oikarinen |
| 2006 | AAAI | Further Investigations into Regular XORSAT. | Matti Jrvisalo |
| 2004 | ISAIM | Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits. | Matti Jrvisalo, Tommi A. Junttila, Ilkka Niemel |