Adrian Balint

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Venues

SAT

Artif. Intell.

CoRR

POS@SAT

University of Ulm (PHD)

Education History

University of Ulm

PHD

Publications

Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown
The Configurable SAT Solver Challenge (CSSC). Artif. Intell. 243 (2017)
Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz
Overview and analysis of the SAT Challenge 2012 solver competition. Artif. Intell. 223 (2015)
Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown
The Configurable SAT Solver Challenge (CSSC). CoRR (2015)
Adrian Balint, Armin Biere, Andreas Fröhlich, Uwe Schöning
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses. SAT (2014)
Adrian Balint, Norbert Manthey
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. POS@SAT (2013)
Adrian Balint, Uwe Schöning
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break. SAT (2012)
Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos
Captain Jack: New Variable Selection Heuristics in Local Search for SAT. SAT (2011)
Adrian Balint, Daniel Diepold, Daniel Gall, Simon Gerber, Gregor Kapler, Robert Retz
EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms. LION (2011)
Adrian Balint, Andreas Fröhlich
Improving Stochastic Local Search for SAT with a New Probability Distribution. SAT (2010)
Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz
Experiment design and administration for computer clusters for SAT-solvers (EDACC). J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)
Adrian Balint, Michael Henn, Oliver Gableske
A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem. SAT (2009)

Adrian Balint.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adrian Balint