 | 2011 |
|---|
| 5 |       | 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: 586-599 |
| 4 | | Dave A. D. Tompkins,
Adrian Balint,
Holger H. Hoos:
Captain Jack: New Variable Selection Heuristics in Local Search for SAT.
SAT 2011: 302-316 |
| 2010 |
|---|
| 3 | | Adrian Balint,
Andreas Fröhlich:
Improving Stochastic Local Search for SAT with a New Probability Distribution.
SAT 2010: 10-15 |
| 2 | | Adrian Balint,
Daniel Gall,
Gregor Kapler,
Robert Retz:
Experiment design and administration for computer clusters for SAT-solvers (EDACC).
JSAT 7(2-3): 77-82 (2010) |
| 2009 |
|---|
| 1 | | Adrian Balint,
Michael Henn,
Oliver Gableske:
A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem.
SAT 2009: 284-297 |
Data released under the ODC-BY 1.0 license — See also our legal information page