Adrian Balint

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