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

Adrian Balint

ulm university

9H指数
17论文数
372被引数
收录论文 2
发表时间
logo
The Configurable SAT Solver Challenge (CSSC)
errartificial intelligence review
IF4.6
err2017-02-01
err43
errOAAI
errHutter, Frank; Lindauer, Marius; Balint, Adrian; Bayless, Sam; Hoos, Holger; Leyton-Brown, Kevin
err分享
err收藏
Overview and analysis of the SAT Challenge 2012 solver competition
errartificial intelligence review
IF4.6
err2015-06-01
err27
errOAAI
errBalint, Adrian; Belov, Anton; Jarvisalo, Matti; Sinz, Carsten
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
F
Frank Hutter
H 指数: 72 · 论文数: 384
H
Holger H. Hoos
H 指数: 70 · 论文数: 381
K
Kevin Leyton‐Brown
H 指数: 52 · 论文数: 265
M
Matti J„ärvisalo
H 指数: 27 · 论文数: 194
C
Carsten Sinz
H 指数: 23 · 论文数: 176
查看更多