PPaperPicks

Sebastian Ordyniak

7 papers at tracked venues · 3 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
  2. Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms
    AAAI 2026 · Sebastian Ordyniak
  3. Resolving Inconsistencies in Disjunctive Temporal Constraints: a Parameterized Complexity Classification
  4. A General Theoretical Framework for Learning Smallest Interpretable Models
    AAAI 2024 · Sebastian Ordyniak
  5. Explaining Decisions in ML Models: A Parameterized Complexity Analysis
    KR 2024 · Sebastian Ordyniak
  6. Learning Small Decision Trees for Data of Low Rank-Width
  7. Solving Quantified Boolean Formulas with Few Existential Variables