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

Paul Maximilian Bittner

ulm university

8H指数
33论文数
264被引数
收录论文 2
发表时间
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收藏
Variational satisfiability solving: efficiently solving lots of related SAT problems
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2022-11-28
err2
errOAAI
errYoung, Jeffrey M.; Bittner, Paul Maximilian; Walkingshaw, Eric; Thuem, Thomas
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
I
Ina Schaefer
H 指数: 39 · 论文数: 402
T
Thomas Thüm
H 指数: 35 · 论文数: 212
C
Chico Sundermann
H 指数: 13 · 论文数: 42
E
Eric Walkingshaw
H 指数: 12 · 论文数: 59
M
Michael Nieke
H 指数: 11 · 论文数: 31
查看更多