| Evaluating CDCL variable scoring schemes A Biere, A Fröhlich Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 118 | 2015 |
| 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 |
| Evaluating CDCL restart schemes A Biere, A Fröhlich Proceedings of Pragmatics of SAT, 1-17, 2015 | 73 | 2015 |
| Complexity of fixed-size bit-vector logics G Kovásznai, A Fröhlich, A Biere Theory of Computing Systems 59, 323-376, 2016 | 53 | 2016 |
| iDQ: Instantiation-Based DQBF Solving. A Fröhlich, G Kovásznai, A Biere, H Veith POS@ SAT, 103-116, 2014 | 52 | 2014 |
| Stochastic local search for satisfiability modulo theories A Fröhlich, A Biere, C Wintersteiger, Y Hamadi Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 50 | 2015 |
| On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. G Kovásznai, A Fröhlich, A Biere SMT@ IJCAR, 44-56, 2012 | 46 | 2012 |
| A DPLL algorithm for solving DQBF A Fröhlich, G Kovásznai, A Biere Proc. POS 12, 2012 | 44 | 2012 |
| Everything you always wanted to know about blocked sets (but were afraid to ask) T Balyo, A Fröhlich, MJH Heule, A Biere Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 24 | 2014 |
| 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 |
| More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding A Fröhlich, G Kovásznai, A Biere International Computer Science Symposium in Russia, 378-390, 2013 | 20 | 2013 |
| Improving local search for bit-vector logics in SMT with path propagation A Niemetz, M Preiner, A Biere, A Fröhlich Proceedings of the Fourth International Workshop on Design and …, 2015 | 18 | 2015 |
| Efficiently solving bit-vector problems using model checkers A Fröhlich, G Kovásznai, A Biere SMT Workshop, 2013 | 14 | 2013 |
| On the complexity of symbolic verification and decision problems in bit-vector logic G Kovásznai, H Veith, A Fröhlich, A Biere International Symposium on Mathematical Foundations of Computer Science, 481-492, 2014 | 12 | 2014 |
| Sparrow2011 A Balint, A Fröhlich, D Tompkins, HH Hoos Booklet of SAT-2011 Competition, 2011 | 10 | 2011 |
| bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR G Kovásznai, A Fröhlich, A Biere Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013 | 9 | 2013 |
| Quantifier-free bit-vector formulas with binary encoding: Benchmark description G Kovásznai, A Fröhlich, A Biere Proceedings of the SAT Competition, 1, 2013 | 4 | 2013 |
| XOR local search for Boolean brent equations W Nawrocki, Z Liu, A Fröhlich, MJH Heule, A Biere Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 3 | 2021 |
| Keep It Simple: Local Search-based Latent Space Editing. A Meißner, A Fröhlich, M Geierhos IJCCI, 273-283, 2022 | 2 | 2022 |
| Theoretical and Practical Aspects of Bit-Vector Reasoning A Fröhlich Dissertation, Johannes Kepler Universität Linz, Linz, 2016 | 1 | 2016 |
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
