Adrian Balint

According to our database, Adrian Balint authored at least 12 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

The Configurable SAT Solver Challenge (CSSC).

Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown

Artif. Intell., 2017

2016

Engineering a Lightweight and Efficient Local Search SAT Solver.

Adrian Balint, Uwe Schöning

Proceedings of the Algorithm Engineering - Selected Results and Surveys, 2016

2015

Overview and analysis of the SAT Challenge 2012 solver competition.

Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz

Artif. Intell., 2015

2014

Engineering stochastic local search for the satisfiability problem.

Adrian Balint

PhD thesis, 2014

Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses.

Adrian Balint, Armin Biere, Andreas Fröhlich, Uwe Schöning

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.

Adrian Balint, Norbert Manthey

Proceedings of the POS-13. Fourth Pragmatics of SAT workshop, 2013

2012

Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break.

Adrian Balint, Uwe Schöning

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

Captain Jack: New Variable Selection Heuristics in Local Search for SAT.

Dave A. D. Tompkins, Adrian Balint, Holger H. Hoos

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

EDACC - An Advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms.

Adrian Balint, Daniel Diepold, Daniel Gall, Simon Gerber, Gregor Kapler, Robert Retz

Proceedings of the Learning and Intelligent Optimization - 5th International Conference, 2011

2010

Experiment design and administration for computer clusters for SAT-solvers (EDACC).

Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz

J. Satisf. Boolean Model. Comput., 2010

Improving Stochastic Local Search for SAT with a New Probability Distribution.

Adrian Balint, Andreas Fröhlich

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem.

Adrian Balint, Michael Henn, Oliver Gableske

Proceedings of the Theory and Applications of Satisfiability Testing, 2009