| 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 | 141 | 2012 |
| 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 | 116 | 2010 |
| 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 | 76 | 2017 |
| 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 | 54 | 2011 |
| 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 | 48 | 2015 |
| 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 | 31 | 2009 |
| 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 | 25 | 2010 |
| 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 | 23 | 2011 |
| 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 | 20 | 2014 |
| Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. A Balint, N Manthey POS@ SAT, 1-14, 2013 | 20 | 2013 |
| SparrowToRiss A Balint, N Manthey Proceedings of SAT Competition, 77, 2014 | 18 | 2014 |
| Engineering stochastic local search for the satisfiability problem A Balint Universität Ulm, 2014 | 14 | 2014 |
| probSAT and pprobSAT A Balint, U Schöning Proceedings of the 2014 SAT Competition, 63, 2014 | 11 | 2014 |
| 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 | 11 | 2012 |
| Engineering a lightweight and efficient local search SAT solver A Balint, U Schöning Algorithm Engineering: Selected Results and Surveys, 1-18, 2016 | 10 | 2016 |
| Sparrow2011 A Balint, A Fröhlich, D Tompkins, HH Hoos Booklet of SAT-2011 Competition, 2011 | 10 | 2011 |
| SAT 2013 competition A Balint, A Belov, M Heule, M Järvisalo | 9 | 2013 |
| hybridGM A Balint, M Henn, O Gableske Solver description. SAT Competition, 2009 | 9 | 2009 |
| Probsat A Balint, U Schöning Proceedings of SAT, 35, 2018 | 8 | 2018 |
