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

Martina Seidl

johannes kepler university linz

27H指数
160论文数
2.1K被引数
收录论文 5
发表时间
logo
Refinement-Based Enumeration of QBF Solutions基于求精的QBF解枚举
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
err2026-01-01
err0
PREAI
errPlank, Andreas; Hofstadler, Clemens; Heisinger, Maximilian; Seidl, Martina
err分享
err收藏
Refined Notions of QBF EquivalencesQBF等价性的精炼概念
errLOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT II
IF0
err2026-01-01
err0
PREAI
errPfeiffer, Peter; Grosse, Daniel; Seidl, Martina
err分享
err收藏
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
errartificial intelligence review
IF4.6
err2019-09-01
err24
errOAAI
errPulina, Luca; Seidl, Martina
err分享
err收藏
The QBF Gallery: Behind the scenes
errartificial intelligence review
IF4.6
err2016-08-01
err13
errOAAI
errLonsing, Florian; Seidl, Martina; Van Gelder, Allen
err分享
err收藏
A posteriori operation detection in evolving software models
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2013-02-01
err41
errOAAI
errLanger, Philip; Wimrner, Manuel; Brosch, Petra; Herrmannsdoerfer, Markus; Seidl, Martina; Wieland, Konrad; Kappel, Gerti
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
A
Allen Van Gelder
H 指数: 39 · 论文数: 128
D
Daniel Große
H 指数: 30 · 论文数: 284
G
Gerti Kappel
H 指数: 27 · 论文数: 128
F
Florian Lonsing
H 指数: 19 · 论文数: 49
L
Luca Pulina
H 指数: 18 · 论文数: 121
查看更多