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 | 150 | 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 | 118 | 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 | 79 | 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 | 50 | 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 | 32 | 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 | 26 | 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 | 21 | 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 | 19 | 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 |