| 2022 | IJCCI | Keep It Simple: Local Search-based Latent Space Editing. | Andreas Meiner, Andreas Frhlich, Michaela Geierhos |
| 2021 | SAT | XOR Local Search for Boolean Brent Equations. | Wojciech Nawrocki, Zhenjun Liu, Andreas Frhlich, Marijn J. H. Heule, Armin Biere |
| 2018 | SAT | Evaluating CDCL Restart Schemes. | Armin Biere, Andreas Frhlich |
| 2015 | AAAI | Stochastic Local Search for Satisfiability Modulo Theories. | Andreas Frhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi |
| 2015 | SAT | Evaluating CDCL Variable Scoring Schemes. | Armin Biere, Andreas Frhlich |
| 2014 | MFCS | On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. | Gergely Kovsznai, Helmut Veith, Andreas Frhlich, Armin Biere |
| 2014 | SAT | Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses. | Adrian Balint, Armin Biere, Andreas Frhlich, Uwe Schning |
| 2014 | SAT | Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). | Toms Balyo, Andreas Frhlich, Marijn Heule, Armin Biere |
| 2014 | SAT | iDQ: Instantiation-Based DQBF Solving. | Andreas Frhlich, Gergely Kovsznai, Armin Biere, Helmut Veith |
| 2013 | CADE | : A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into. | Gergely Kovsznai, Andreas Frhlich, Armin Biere |
| 2013 | CSR | More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding. | Andreas Frhlich, Gergely Kovsznai, Armin Biere |
| 2012 | CADE | On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. | Gergely Kovsznai, Andreas Frhlich, Armin Biere |
| 2010 | SAT | Improving Stochastic Local Search for SAT with a New Probability Distribution. | Adrian Balint, Andreas Frhlich |