PPaperPicks

Stefan Szeider

18 papers at tracked venues · 10 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×8CP ×4IJCAI ×2KR ×2ICML ×1ICSE ×1

Frequent coauthors

Sebastian Ordyniak
×4
Mateusz Rychlicki
×3
Florentina Voboril
×3
Vaidyanathan Peruvemba Ramaswamy
×3
Markus Kirchweger
×3
Tomás Peitl
×3
Giacomo Paesani
×3
Alexis de Colnet
×3
Hai Xia
×2
Tianwei Zhang
×2
Leroy Chew
×2
David Seka
×1

Papers

  1. Computing Probabilistic Explanations for ML Models: Fixed-Parameter Algorithms
    AAAI 2026 ·
    Sebastian Ordyniak
    ,
    Mateusz Rychlicki
    , Stefan Szeider
  2. Generating Streamlining Constraints with Large Language Models (Abstract Reprint)
    AAAI 2026 ·
    Florentina Voboril
    ,
    Vaidyanathan Peruvemba Ramaswamy
    , Stefan Szeider
  3. Graph Choosability via SAT: Beyond the Nullstellensatz
    AAAI 2026 ·
    Markus Kirchweger
    ,
    Tomás Peitl
    ,
    David Seka
    , Stefan Szeider
  4. Smart Cubing for Graph Search: A Comparative Study
    CP 2026 ·
    Markus Kirchweger
    ,
    Tomás Peitl
    , Stefan Szeider,
    Hai Xia
  5. VIPR Certificate Construction from Black-Box ILP Solvers
    CP 2026 · Stefan Szeider
  6. Balancing Latin Rectangles with LLM-Generated Streamliners
    CP 2025 ·
    Florentina Voboril
    ,
    Vaidyanathan Peruvemba Ramaswamy
    , Stefan Szeider
  7. Breaking Symmetries in Quantified Graph Search: A Comparative Study
    AAAI 2025 ·
    Mikolás Janota
    ,
    Markus Kirchweger
    ,
    Tomás Peitl
    , Stefan Szeider
  8. Optimal Decision Tree Pruning Revisited: Algorithms and Complexity
    ICML 2025 ·
    Juha Harviainen
    ,
    Frank Sommer
    ,
    Manuel Sorge
    , Stefan Szeider
  9. StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
    ICSE 2025 ·
    Florentina Voboril
    ,
    Vaidyanathan Peruvemba Ramaswamy
    , Stefan Szeider
  10. The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators
    CP 2025 ·
    Tianwei Zhang
    , Stefan Szeider
  11. A General Theoretical Framework for Learning Smallest Interpretable Models
    AAAI 2024 ·
    Sebastian Ordyniak
    ,
    Giacomo Paesani
    ,
    Mateusz Rychlicki
    , Stefan Szeider
  12. ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
    KR 2024 ·
    Leroy Chew
    ,
    Alexis de Colnet
    , Stefan Szeider
  13. Compilation and Fast Model Counting beyond CNF
    IJCAI 2024 ·
    Alexis de Colnet
    , Stefan Szeider,
    Tianwei Zhang
  14. Explaining Decisions in ML Models: A Parameterized Complexity Analysis
    KR 2024 ·
    Sebastian Ordyniak
    ,
    Giacomo Paesani
    ,
    Mateusz Rychlicki
    , Stefan Szeider
  15. Hardness of Random Reordered Encodings of Parity for Resolution and CDCL
    AAAI 2024 ·
    Leroy Chew
    ,
    Alexis de Colnet
    ,
    Friedrich Slivovsky
    , Stefan Szeider
  16. Learning Small Decision Trees for Data of Low Rank-Width
    AAAI 2024 ·
    Konrad K. Dabrowski
    ,
    Eduard Eiben
    ,
    Sebastian Ordyniak
    ,
    Giacomo Paesani
    , Stefan Szeider
  17. Revisiting Causal Discovery from a Complexity-Theoretic Perspective
    IJCAI 2024 ·
    Robert Ganian
    ,
    Viktoriia Korchemna
    , Stefan Szeider
  18. SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
    AAAI 2024 ·
    Hai Xia
    , Stefan Szeider