PPaperPicks

Mateusz Rychlicki

5 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2KR ×2IJCAI ×1

Frequent coauthors

Sebastian Ordyniak
×5
Stefan Szeider
×3
Leif Eriksson
×2
Victor Lagerkvist
×2
George Osipov
×2
Fahad Panolan
×2
Giacomo Paesani
×2

Papers

  1. Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
    KR 2026 ·
    Leif Eriksson
    ,
    Victor Lagerkvist
    ,
    Sebastian Ordyniak
    ,
    George Osipov
    ,
    Fahad Panolan
    , Mateusz Rychlicki
  2. Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms
    AAAI 2026 ·
    Sebastian Ordyniak
    , Mateusz Rychlicki,
    Stefan Szeider
  3. A General Theoretical Framework for Learning Smallest Interpretable Models
    AAAI 2024 ·
    Sebastian Ordyniak
    ,
    Giacomo Paesani
    , Mateusz Rychlicki,
    Stefan Szeider
  4. Explaining Decisions in ML Models: A Parameterized Complexity Analysis
    KR 2024 ·
    Sebastian Ordyniak
    ,
    Giacomo Paesani
    , Mateusz Rychlicki,
    Stefan Szeider
  5. Solving Quantified Boolean Formulas with Few Existential Variables
    IJCAI 2024 ·
    Leif Eriksson
    ,
    Victor Lagerkvist
    ,
    Sebastian Ordyniak
    ,
    George Osipov
    ,
    Fahad Panolan
    , Mateusz Rychlicki