logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
S

Stefan Szeider

Technische Universitat Wien

33H指数
369论文数
4.3K被引数
收录论文 12
发表时间
logo
Computing and Certifying Twin-Width Using Logic使用逻辑计算和认证双宽度
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errSchidler, Andre; Szeider, Stefan
err分享
err收藏
Backdoors to satisfaction continued满意度的后门继续
errComputer Science Review
IF12.7
err2025-12-12
err0
errOAAI
errSerge Gaspers; Stefan Szeider
err分享
err收藏
OBDDs, SDDs, and circuits of bounded width: completeness mattersOBDDs、SDDs和受限宽度电路：完备性很重要
errArtificial Intelligence
IF4.6
err2025-11-30
err0
errOAAI
errAlexis De Colnet; Sebastian Ordyniak; Stefan Szeider
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
Computing optimal hypertree decompositions with SAT
errartificial intelligence review
IF4.6
err2023-12-01
err0
errOAAI
errSchidler, Andre; Szeider, Stefan
err分享
err收藏
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
err分享
err收藏
New width parameters for SAT and #SAT
errartificial intelligence review
IF4.6
err2021-06-01
err2
errOAAI
errGanian, Robert; Szeider, Stefan
err分享
err收藏
Backdoors to tractable answer set programming
errartificial intelligence review
IF4.6
err2015-03-01
err23
errOAAI
errFichte, Johannes Klaus; Szeider, Stefan
err分享
err收藏
Guarantees and limits of preprocessing in constraint satisfaction and reasoning
errartificial intelligence review
IF4.6
err2014-11-01
err9
errOAAI
errGaspers, Serge; Szeider, Stefan
err分享
err收藏
Augmenting tractable fragments of abstract argumentation
errartificial intelligence review
IF4.6
err2012-07-01
err43
errOAAI
errDvorak, Wolfgang; Ordyniak, Sebastian; Szeider, Stefan
err分享
err收藏
Algorithms and complexity results for persuasive argumentation
errartificial intelligence review
IF4.6
err2011-06-01
err17
errOAAI
errKim, Eun Jung; Ordyniak, Sebastian; Szeider, Stefan
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
E
Eun Jung Kim
H 指数: 31 · 论文数: 235
I
Iyad Kanj
H 指数: 25 · 论文数: 194
S
Serge Gaspers
H 指数: 24 · 论文数: 170
D
Daniel Le Berre
H 指数: 21 · 论文数: 139
W
Wolfgang Dvořák
H 指数: 20 · 论文数: 105
查看更多