logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Adrian Balint

ulm university

9H-index
17Paper Count
372Citation Count
Published Papers 2
Publication Date
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
F
Frank Hutter
H-index: 72 · Papers: 384
H
Holger H. Hoos
H-index: 70 · Papers: 381
K
Kevin Leyton‐Brown
H-index: 52 · Papers: 265
M
Matti J„ärvisalo
H-index: 27 · Papers: 194
C
Carsten Sinz
H-index: 23 · Papers: 176
View more