Seguir
Dr. Adrian Balint
Dr. Adrian Balint
Ulm University
Nenhum email confirmado
Título
Citado por
Citado por
Ano
Choosing probability distributions for stochastic local search and the role of make versus break
A Balint, U Schöning
International Conference on Theory and Applications of Satisfiability …, 2012
1412012
Improving stochastic local search for SAT with a new probability distribution
A Balint, A Fröhlich
Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010
1162010
The configurable SAT solver challenge (CSSC)
F Hutter, M Lindauer, A Balint, S Bayless, H Hoos, K Leyton-Brown
Artificial Intelligence 243, 1-25, 2017
762017
Captain jack: New variable selection heuristics in local search for SAT
DAD Tompkins, A Balint, HH Hoos
International Conference on Theory and Applications of Satisfiability …, 2011
542011
Overview and analysis of the SAT Challenge 2012 solver competition
A Balint, A Belov, M Järvisalo, C Sinz
Artificial Intelligence 223, 120-155, 2015
482015
A novel approach to combine a SLS-and a DPLL-solver for the satisfiability problem
A Balint, M Henn, O Gableske
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
312009
Experiment design and administration for computer clusters for SAT-solvers (EDACC)
A Balint, D Gall, G Kapler, R Retz
Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 77-82, 2010
252010
EDACC-an advanced platform for the experiment design, administration and analysis of empirical algorithms
A Balint, D Diepold, D Gall, S Gerber, G Kapler, R Retz
Learning and Intelligent Optimization: 5th International Conference, LION 5 …, 2011
232011
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses
A Balint, A Biere, A Fröhlich, U Schöning
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
202014
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning.
A Balint, N Manthey
POS@ SAT, 1-14, 2013
202013
SparrowToRiss
A Balint, N Manthey
Proceedings of SAT Competition, 77, 2014
182014
Engineering stochastic local search for the satisfiability problem
A Balint
Universität Ulm, 2014
142014
probSAT and pprobSAT
A Balint, U Schöning
Proceedings of the 2014 SAT Competition, 63, 2014
112014
SAT competition 2013
A Balint, A Belov, MJH Heule, M Järvisalo
Presentation at the SAT 2013 conference, 2013
11*2013
Sat challenge 2012 random sat track: Description of benchmark generation
A Balint, A Belov, M Järvisalo, C Sinz
Proceedings of SAT Challenge, 72-73, 2012
112012
Sparrow2011
A Balint, A Fröhlich, D Tompkins, HH Hoos
Booklet of SAT-2011 Competition, 2011
102011
Engineering a lightweight and efficient local search SAT solver
A Balint, U Schöning
Algorithm Engineering: Selected Results and Surveys, 1-18, 2016
92016
SAT 2013 competition
A Balint, A Belov, M Heule, M Järvisalo
92013
hybridGM
A Balint, M Henn, O Gableske
Solver description. SAT Competition, 2009
92009
Probsat
A Balint, U Schöning
Proceedings of SAT, 35, 2018
82018
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20