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
DBLP profile ↗ORCID search ↗
×3
Leif Eriksson
DBLP profile ↗ORCID search ↗
×2

Papers

  1. Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
    KR 2026 ·
    Leif Eriksson
    DBLP profile ↗ORCID search ↗
  2. Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms
    AAAI 2026 ·
    Sebastian Ordyniak
    DBLP profile ↗ORCID search ↗
  3. A General Theoretical Framework for Learning Smallest Interpretable Models
    AAAI 2024 ·
    Sebastian Ordyniak
    DBLP profile ↗ORCID search ↗
  4. Explaining Decisions in ML Models: A Parameterized Complexity Analysis
    KR 2024 ·
    Sebastian Ordyniak
    DBLP profile ↗ORCID search ↗
  5. Solving Quantified Boolean Formulas with Few Existential Variables
    IJCAI 2024 ·
    Leif Eriksson
    DBLP profile ↗ORCID search ↗