PPaperPicks

Sebastian Ordyniak

7 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3KR ×3IJCAI ×1

Frequent coauthors

Mateusz Rychlicki
×5
Stefan Szeider
×4
George Osipov
×3
Giacomo Paesani
×3
Leif Eriksson
×2
Victor Lagerkvist
×2
Fahad Panolan
×2
Konrad K. Dabrowski
×2
Peter Jonsson
×1
Jorke M. de Vlas
×1
Eduard Eiben
×1

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. Resolving Inconsistencies in Disjunctive Temporal Constraints: a Parameterized Complexity Classification
    KR 2026 ·
    Konrad K. Dabrowski
    ,
    Peter Jonsson
    , Sebastian Ordyniak,
    George Osipov
    ,
    Jorke M. de Vlas
  4. A General Theoretical Framework for Learning Smallest Interpretable Models
    AAAI 2024 · Sebastian Ordyniak,
    Giacomo Paesani
    ,
    Mateusz Rychlicki
    ,
    Stefan Szeider
  5. Explaining Decisions in ML Models: A Parameterized Complexity Analysis
    KR 2024 · Sebastian Ordyniak,
    Giacomo Paesani
    ,
    Mateusz Rychlicki
    ,
    Stefan Szeider
  6. Learning Small Decision Trees for Data of Low Rank-Width
    AAAI 2024 ·
    Konrad K. Dabrowski
    ,
    Eduard Eiben
    , Sebastian Ordyniak,
    Giacomo Paesani
    ,
    Stefan Szeider
  7. Solving Quantified Boolean Formulas with Few Existential Variables
    IJCAI 2024 ·
    Leif Eriksson
    ,
    Victor Lagerkvist
    , Sebastian Ordyniak,
    George Osipov
    ,
    Fahad Panolan
    ,
    Mateusz Rychlicki