Matti Järvisalo

Venues

Frequent coauthors

Papers

1. Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
   AAAI 2026 ·

   Hannes Ihalainen

   DBLP profile ↗ORCID search ↗
2. Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games
   KR 2026 ·

   Ari Conati

   DBLP profile ↗ORCID search ↗
3. Ordered Objectives in Maximum Satisfiability
   AAAI 2026 ·

   Jeremias Berg

   DBLP profile ↗ORCID search ↗
4. SAT-based ASP Solving and Optimization via a General Transitive Closure Framework
   KR 2026 ·

   Masood Feyzbakhsh Rankooh

   DBLP profile ↗ORCID search ↗
5. Symmetry Breaking for Inductive Logic Programming
   AAAI 2026 ·

   Andrew Cropper

   DBLP profile ↗ORCID search ↗
6. Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT
   AAMAS 2025 ·

   Ari Conati

   DBLP profile ↗ORCID search ↗
7. Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
   KR 2025 ·

   Masood Feyzbakhsh Rankooh

   DBLP profile ↗ORCID search ↗
8. Reasoning in Assumption-Based Argumentation via SAT
   KR 2025 ·

   Andreas Niskanen

   DBLP profile ↗ORCID search ↗
9. Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
   ECAI 2024 ·

   Ari Conati

   DBLP profile ↗ORCID search ↗
10. Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
    KR 2024 ·

    Tuomo Lehtonen

    DBLP profile ↗ORCID search ↗
11. Learning Big Logical Rules by Joining Small Rules
    IJCAI 2024 ·

    Céline Hocquette

    DBLP profile ↗ORCID search ↗
12. Learning MDL Logic Programs from Noisy Data
    AAAI 2024 ·

    Céline Hocquette

    DBLP profile ↗ORCID search ↗
13. SAT-Based Approaches to Reasoning in Choice Logics
    ECAI 2024 ·

    Tuomo Lehtonen

    DBLP profile ↗ORCID search ↗