Concepedia

Adrian Balint

AB

3

Publications

66

Citations

3

H-Index

2010

Active since

Affiliations

Universität Ulm(Current)

University College Dublin

Karlsruhe Institute of Technology

Adrian Balint is an author at Universität Ulm specializing in automated reasoning, satisfiability, and computational complexity.

Top concepts

Publications per year

2010–2015

3

Publications

3

Overview and analysis of the SAT Challenge 2012 solver competition

Adrian Balint, Anton Belov, Matti J„ärvisalo et al. · Artificial Intelligence · 2015 · 35 citations

, , +12

Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions

Adrian Balint, Anton Belov, Daniel Diepold et al. · 2012 · 20 citations

, , +4

Experiment design and administration for computer clusters for SAT-solvers (EDACC)

Adrian Balint, Daniel Gall, Gregor Kapler et al. · Journal on Satisfiability Boolean Modeling and Computation · 2010 · 11 citations · Full text

Rows per page

1–3 of 3