Stefan Szeider

Venues

Frequent coauthors

Papers

1. Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms
   AAAI 2026 ·

   Sebastian Ordyniak

   DBLP profile ↗ORCID search ↗
2. Generating Streamlining Constraints with Large Language Models (Abstract Reprint)
   AAAI 2026 ·

   Florentina Voboril

   DBLP profile ↗ORCID search ↗
3. Graph Choosability via SAT: Beyond the Nullstellensatz
   AAAI 2026 ·

   Markus Kirchweger

   DBLP profile ↗ORCID search ↗
4. Breaking Symmetries in Quantified Graph Search: A Comparative Study
   AAAI 2025 ·

   Mikolás Janota

   DBLP profile ↗ORCID search ↗
5. Optimal Decision Tree Pruning Revisited: Algorithms and Complexity
   ICML 2025 ·

   Juha Harviainen

   DBLP profile ↗ORCID search ↗
6. A General Theoretical Framework for Learning Smallest Interpretable Models
   AAAI 2024 ·

   Sebastian Ordyniak

   DBLP profile ↗ORCID search ↗
7. ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
   KR 2024 ·

   Leroy Chew

   DBLP profile ↗ORCID search ↗
8. Compilation and Fast Model Counting beyond CNF
   IJCAI 2024 ·

   Alexis de Colnet

   DBLP profile ↗ORCID search ↗
9. Explaining Decisions in ML Models: A Parameterized Complexity Analysis
   KR 2024 ·

   Sebastian Ordyniak

   DBLP profile ↗ORCID search ↗
10. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
    AAAI 2024 ·

    Leroy Chew

    DBLP profile ↗ORCID search ↗
11. Learning Small Decision Trees for Data of Low Rank-Width
    AAAI 2024 ·

    Konrad K. Dabrowski

    DBLP profile ↗ORCID search ↗
12. Revisiting Causal Discovery from a Complexity-Theoretic Perspective
    IJCAI 2024 ·

    Robert Ganian

    DBLP profile ↗ORCID search ↗
13. SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
    AAAI 2024 ·

    Hai Xia

    DBLP profile ↗ORCID search ↗