logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
S

Stefan Szeider

Technische Universitat Wien

33H-index
369Paper Count
4.3KCitation Count
Published Papers 12
Publication Date
logo
Computing and Certifying Twin-Width Using Logic
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errSchidler, Andre; Szeider, Stefan
errShare
errSave
Backdoors to satisfaction continued
errComputer Science Review
IF12.7
err2025-12-12
err0
errOAAI
errSerge Gaspers; Stefan Szeider
errShare
errSave
OBDDs, SDDs, and circuits of bounded width: completeness matters
errArtificial Intelligence
IF4.6
err2025-11-30
err0
errOAAI
errAlexis De Colnet; Sebastian Ordyniak; Stefan Szeider
errShare
errSave
From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem
errALGORITHMICA
IF0.7
err2025-11-17
err0
PREAI
errEiben, Eduard; Ganian, Robert; Kanj, Iyad; Ordyniak, Sebastian; Szeider, Stefan
errShare
errSave
A General Theoretical Framework for Learning Smallest Interpretable Models
errArtificial Intelligence
IF4.6
err2025-10-26
err0
errOAAI
errSebastian Ordyniak; Giacomo Paesani; Mateusz Rychlicki; Stefan Szeider
errShare
errSave
Computing optimal hypertree decompositions with SAT
errartificial intelligence review
IF4.6
err2023-12-01
err0
errOAAI
errSchidler, Andre; Szeider, Stefan
errShare
errSave
The Silent (R)evolution of SAT
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-05-24
err9
errOAAI
errFichte, Johannes K.; Le Berre, Daniel; Hecher, Markus; Szeider, Stefan
errShare
errSave
New width parameters for SAT and #SAT
errartificial intelligence review
IF4.6
err2021-06-01
err2
errOAAI
errGanian, Robert; Szeider, Stefan
errShare
errSave
Backdoors to tractable answer set programming
errartificial intelligence review
IF4.6
err2015-03-01
err23
errOAAI
errFichte, Johannes Klaus; Szeider, Stefan
errShare
errSave
Guarantees and limits of preprocessing in constraint satisfaction and reasoning
errartificial intelligence review
IF4.6
err2014-11-01
err9
errOAAI
errGaspers, Serge; Szeider, Stefan
errShare
errSave
Augmenting tractable fragments of abstract argumentation
errartificial intelligence review
IF4.6
err2012-07-01
err43
errOAAI
errDvorak, Wolfgang; Ordyniak, Sebastian; Szeider, Stefan
errShare
errSave
Algorithms and complexity results for persuasive argumentation
errartificial intelligence review
IF4.6
err2011-06-01
err17
errOAAI
errKim, Eun Jung; Ordyniak, Sebastian; Szeider, Stefan
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
E
Eun Jung Kim
H-index: 31 · Papers: 235
I
Iyad Kanj
H-index: 25 · Papers: 194
S
Serge Gaspers
H-index: 24 · Papers: 170
D
Daniel Le Berre
H-index: 21 · Papers: 139
W
Wolfgang Dvořák
H-index: 20 · Papers: 105
View more