Stefan Szeider

Full Professor, TU Wien Vienna University of Technology

Joined

July 2019

Names

Stefan Szeider

Emails

****@szeider.net (Confirmed)

****@ac.tuwien.ac.at (Confirmed)

Personal Links

Career & Education History

Full Professor

TU Wien Vienna University of Technology (tuwien.ac.at)

2009 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

SAT

CSP

QBF

Clustering

Matrix Completion

Computational Complexity

Bayesian Networks

Present

Publications

Synthesizing Feature Extractors: An Agentic Approach for Algorithm Selection
Hai Xia, Stefan Szeider, Carlos Ansótegui
- Submitted to ICLR 2026
- Readers: Everyone
What Do LLM Agents Do When Left Alone? Evidence of Spontaneous Meta-Cognitive Patterns
Stefan Szeider
- ICLR 2026 Conference Withdrawn Submission
- Readers: Everyone
Explaining Decisions in ML Models: A Parameterized Complexity Analysis
Sebastian Ordyniak, Giacomo Paesani, Mateus Rychlicki, Stefan Szeider
- Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
- Readers: Everyone
A General Theoretical Framework for Learning Smallest Interpretable Models
Sebastian Ordyniak, Giacomo Paesani, Mateus Rychlicki, Stefan Szeider
- Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
- Readers: Everyone
Learning Small Decision Trees for Data of Low Rank-Width
Konrad K. Dabrowski, Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
- Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
- Readers: Everyone
The Parametrized Complexity of Finding Concise Local Explanations
Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
- Proceedings of the 32nd International Joint Conference on Artificial Intellingence (IJCAI 2023)
- Readers: Everyone
Learning Small Decision Trees with Large Domain
Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider
- Proceedings of the 32nd International Joint Conference on Artificial Intellingence (IJCAI 2023)
- Readers: Everyone
Optimal Decision Tree Pruning Revisited: Algorithms and Complexity
Juha Harviainen, Frank Sommer, Manuel Sorge, Stefan Szeider
- ICML 2025 poster
- Readers: Everyone
Proven Optimally-Balanced Latin Rectangles with SAT
Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
- International Conference on Principles and Practice of Constraint Programming (CP)
- Readers: Everyone
The Computational Complexity of Concise Hypersphere Classification
Eduard Eiben, Robert Ganian, Iyad A. Kanj, Sebastian Ordyniak, Stefan Szeider
- ICML 2023 Poster
- Readers: Everyone

View all 37 publications

Co-Authors

View all 31 co-authors