Adrian Balint - RankMe

13 papers A 5Journal 4Unranked 2

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz