Andreas Fröhlich

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