researcher

Stefan Szeider

TU Wien

71 papers hereh-index 388.3k citations245 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

sole author3
middle author8
last author60

Across the 71 of 71 papers where every author was matched, so the position is known.

fields

cs.DS37
cs.AI16
cs.CC6
cs.LO5
cs.DM2
cs.LG2

affiliations

TU Wien

Homepage

same name

Stefan Szeider — 13 papers, h 3
Stefan Szeider — 10 papers, h 3
Stefan Szeider — 2 papers
Stefan Szeider — 2 papers, h 3

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20042026

most citedParameterized Complexity Results for Exact Bayesian Network Structure Learning

58 citations · 327 across the 60 of their papers we have counts for

collaborators

Showing 2020 · cs.AIShow all

2 papers · 2 filters

cs.AI2020

A Time Leap Challenge for SAT Solving

Johannes K. Fichte, Markus Hecher, Stefan Szeider

We compare the impact of hardware advancement and algorithm advancement for SAT solving over the last two decades. In particular, we compare 20-year-old SAT-solvers on new computer…

cs.AI2020

Turbocharging Treewidth-Bounded Bayesian Network Structure Learning

Vaidyanathan P. R., Stefan Szeider

We present a new approach for learning the structure of a treewidth-bounded Bayesian Network (BN). The key to our approach is applying an exact method (based on MaxSAT) locally, to…