Improving Stochastic Local Search for SAT with a New Probability Distribution. - Adrian Balint; Andreas Fröhlich (SAT, 2010)

On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. - Gergely Kovásznai; Andreas Fröhlich; Armin Biere (SMT@IJCAR, 2012)

: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into. - Gergely Kovásznai; Andreas Fröhlich; Armin Biere (CADE, 2013)

More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding. - Andreas Fröhlich; Gergely Kovásznai; Armin Biere (CSR, 2013)

On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. - Gergely Kovásznai; Helmut Veith; Andreas Fröhlich; Armin Biere (MFCS (2), 2014)

Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses. - Adrian Balint; Armin Biere; Andreas Fröhlich; Uwe Schöning (SAT, 2014)

Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). - Tomás Balyo; Andreas Fröhlich; Marijn Heule; Armin Biere (SAT, 2014)

iDQ: Instantiation-Based DQBF Solving. - Andreas Fröhlich; Gergely Kovásznai; Armin Biere; Helmut Veith (POS@SAT, 2014)

Stochastic Local Search for Satisfiability Modulo Theories. - Andreas Fröhlich; Armin Biere; Christoph M. Wintersteiger; Youssef Hamadi (AAAI, 2015)

Evaluating CDCL Variable Scoring Schemes. - Armin Biere; Andreas Fröhlich (SAT, 2015)

Complexity of Fixed-Size Bit-Vector Logics. - Gergely Kovásznai; Andreas Fröhlich; Armin Biere (Theory Comput. Syst., 2016)

Evaluating CDCL Restart Schemes. - Armin Biere; Andreas Fröhlich (POS@SAT, 2018)

Ultra Wideband 43 GHz Preamplifier with up to 60 dB adjustable Gain for accurate Noise Figure Measurement of Cryogenic LNAs. - Peter Toth; Marco Tiesing; Lukas Naumann; Andreas Fröhlich; Thomas Wirths; Peter Knott (ICECS, 2021)

XOR Local Search for Boolean Brent Equations. - Wojciech Nawrocki; Zhenjun Liu; Andreas Fröhlich; Marijn J. H. Heule; Armin Biere (SAT, 2021)

Keep It Simple: Local Search-based Latent Space Editing. - Andreas Meißner; Andreas Fröhlich; Michaela Geierhos (IJCCI, 2022)

Keep It Simple: Evaluating Local Search-Based Latent Space Editing. - Andreas Meißner; Andreas Fröhlich; Michaela Geierhos (SN Comput. Sci., 2023)