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
International Conference on Theory and Applications of Satisfiability …, 2010
1042010
Evaluating CDCL variable scoring schemes
A Biere, A Fröhlich
International Conference on Theory and Applications of Satisfiability …, 2015
792015
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
432012
Complexity of fixed-size bit-vector logics
G Kovásznai, A Fröhlich, A Biere
Theory of Computing Systems 59 (2), 323-376, 2016
402016
Evaluating CDCL restart schemes
A Biere, A Fröhlich
Pragmatics of SAT 2015, 2015
402015
iDQ: Instantiation-Based DQBF Solving.
A Fröhlich, G Kovásznai, A Biere, H Veith
POS@ SAT, 103-116, 2014
362014
A DPLL algorithm for solving DQBF
A Fröhlich, G Kovásznai, A Biere
Proc. POS 12, 2012
352012
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
342015
Everything you always wanted to know about blocked sets (but were afraid to ask)
T Balyo, A Fröhlich, MJH Heule, A Biere
International Conference on Theory and Applications of Satisfiability …, 2014
182014
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
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
172015
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
International Conference on Theory and Applications of Satisfiability …, 2014
162014
Efficiently solving bit-vector problems using model checkers
A Fröhlich, G Kovásznai, A Biere
SMT Workshop, 2013
132013
Sparrow2011
A Balint, A Fröhlich, DAD Tompkins, HH Hoos
102011
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
92014
bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR
G Kovásznai, A Fröhlich, A Biere
International Conference on Automated Deduction, 443-449, 2013
92013
Quantifier-free bit-vector formulas with binary encoding: Benchmark description
G Kovásznai, A Fröhlich, A Biere
SAT COMPETITION 2013, 107, 2013
42013
Theoretical and practical aspects of bit-vector reasoning/eingereicht von Dipl.-Inf. Andreas Fröhlich
A Fröhlich
Universität Linz, 2016
2016
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics
A Fröhlich, G Kovásznai, A Biere
2013
XOR Local Search for Boolean Brent Equations
W Nawrocki, Z Liu, A Fröhlich, MJH Heule, A Biere
The system can't perform the operation now. Try again later.
Articles 1–20