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

Michael Nieke

Braunschweig University of Technology

11H指数
31论文数
372被引数
收录论文 1
发表时间
logo
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2023-01-13
err13
errOAAI
errSundermann, Chico; Hess, Tobias; Nieke, Michael; Bittner, Paul Maximilian; Young, Jeffrey M.; Thuem, Thomas; Schaefer, Ina
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
I
Ina Schaefer
H 指数: 39 · 论文数: 402
T
Thomas Thüm
H 指数: 35 · 论文数: 212
C
Chico Sundermann
H 指数: 13 · 论文数: 42
P
Paul Maximilian Bittner
H 指数: 8 · 论文数: 33
T
Tobias Heß
H 指数: 8 · 论文数: 32
查看更多