Andreas Fröhlich

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 6

Top Topics

Stochastic Local Search

Modulo Theories

Clause Learning

Top Venues

Theory Comput. Syst.

Publications

Andreas Meißner, Andreas Fröhlich, Michaela Geierhos
Keep It Simple: Evaluating Local Search-Based Latent Space Editing. SN Comput. Sci. 4 (6) (2023)
Andreas Meißner, Andreas Fröhlich, Michaela Geierhos
Keep It Simple: Local Search-based Latent Space Editing. IJCCI (2022)
Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere
XOR Local Search for Boolean Brent Equations. SAT (2021)
Peter Toth, Marco Tiesing, Lukas Naumann, Andreas Fröhlich, Thomas Wirths, Peter Knott
Ultra Wideband 43 GHz Preamplifier with up to 60 dB adjustable Gain for accurate Noise Figure Measurement of Cryogenic LNAs. ICECS (2021)
Armin Biere, Andreas Fröhlich
Evaluating CDCL Restart Schemes. POS@SAT (2018)
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Complexity of Fixed-Size Bit-Vector Logics. Theory Comput. Syst. 59 (2) (2016)
Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi
Stochastic Local Search for Satisfiability Modulo Theories. AAAI (2015)
Armin Biere, Andreas Fröhlich
Evaluating CDCL Variable Scoring Schemes. SAT (2015)
Adrian Balint, Armin Biere, Andreas Fröhlich, Uwe Schöning
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses. SAT (2014)
Tomás Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). SAT (2014)
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
iDQ: Instantiation-Based DQBF Solving. POS@SAT (2014)
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. MFCS (2) (2014)
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into. CADE (2013)
Andreas Fröhlich, Gergely Kovásznai, Armin Biere
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding. CSR (2013)
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. SMT@IJCAR (2012)
Adrian Balint, Andreas Fröhlich
Improving Stochastic Local Search for SAT with a New Probability Distribution. SAT (2010)