Follow
Andreas Fröhlich
Andreas Fröhlich
Verified email at jku.at
Title
Cited by
Cited by
Year
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
Evaluating CDCL variable scoring schemes
A Biere, A Fröhlich
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
1122015
Evaluating CDCL restart schemes
A Biere, A Fröhlich
Proceedings of Pragmatics of SAT, 1-17, 2015
682015
iDQ: Instantiation-Based DQBF Solving.
A Fröhlich, G Kovásznai, A Biere, H Veith
POS@ SAT, 103-116, 2014
512014
Complexity of fixed-size bit-vector logics
G Kovásznai, A Fröhlich, A Biere
Theory of Computing Systems 59, 323-376, 2016
502016
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
472015
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
442012
A DPLL algorithm for solving DQBF
A Fröhlich, G Kovásznai, A Biere
Proc. POS 12, 2012
432012
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
232014
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
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
182015
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
182013
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
122014
Efficiently solving bit-vector problems using model checkers
A Fröhlich, G Kovásznai, A Biere
SMT Workshop, 2013
122013
Sparrow2011
A Balint, A Fröhlich, D Tompkins, HH Hoos
Booklet of SAT-2011 Competition, 2011
102011
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
82013
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
32021
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
32013
Theoretical and Practical Aspects of Bit-Vector Reasoning
A Fröhlich
Dissertation, Johannes Kepler Universität Linz, Linz, 2016
12016
Keep It Simple: Evaluating Local Search-Based Latent Space Editing
A Meißner, A Fröhlich, M Geierhos
SN Computer Science 4 (6), 820, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20