Adrian Balint
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
1
Active years
2009–2014
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SAT | Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses. | Adrian Balint, Armin Biere, Andreas Frhlich, Uwe Schning |
| 2013 | SAT | Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. | Adrian Balint, Norbert Manthey |
| 2012 | SAT | Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break. | Adrian Balint, Uwe Schning |
| 2011 | SAT | Captain Jack: New Variable Selection Heuristics in Local Search for SAT. | Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos |
| 2010 | SAT | Improving Stochastic Local Search for SAT with a New Probability Distribution. | Adrian Balint, Andreas Frhlich |
| 2009 | SAT | A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem. | Adrian Balint, Michael Henn, Oliver Gableske |