Andreas Fröhlich

发表

Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)

Armin Biere, Marijn Heule, Tomás Balyo, 2014, SAT.

iDQ: Instantiation-Based DQBF Solving

Helmut Veith, Armin Biere, Andreas Fröhlich, 2014, POS@SAT.

Stochastic Local Search for Satisfiability Modulo Theories

Armin Biere, Youssef Hamadi, Christoph M. Wintersteiger, 2015, AAAI.

Improving Stochastic Local Search for SAT with a New Probability Distribution

Adrian Balint, Andreas Fröhlich, A. Balint, 2010, SAT.

EPR Encodings of Bit-Vector Problems Even With Quantifiers

Armin Biere, Andreas Fröhlich, Gergely Kovásznai, 2014 .

Evaluating CDCL Variable Scoring Schemes

Armin Biere, Andreas Fröhlich, Armin Biere, 2015, SAT.

Evaluating CDCL Restart Schemes

Armin Biere, Andreas Fröhlich, 2018, POS@SAT.

On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width

Armin Biere, Andreas Fröhlich, Gergely Kovásznai, 2012, SMT@IJCAR.

On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic

Helmut Veith, Armin Biere, Andreas Fröhlich, 2014, MFCS.

Quantifier-Free Bit-Vector Formulas with Binary Encoding: Benchmark Description

Armin Biere, Andreas Fröhlich, Gergely Kovásznai, 2013 .

The New V8 TDI Engine from Audi Part 1: Engine Architecture and Turbocharging Concept with Electric Powered Compressor

Andreas Fröhlich, Thomas Heiduk, Jan Helbig, 2016 .

Complexity of Fixed-Size Bit-Vector Logics

Armin Biere, Andreas Fröhlich, Gergely Kovásznai, 2016, Theory of Computing Systems.

Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses

Armin Biere, Uwe Schöning, Adrian Balint, 2014, SAT.

Strategies for the identification of disease-related patterns of volatile organic compounds: prediction of paratuberculosis in an animal model using random forests.

Peter Oertel, Andreas Bergmann, Andreas Fröhlich, 2017, Journal of breath research.

Adaption of diagnostic methods to different situations of measurement

Andreas Fröhlich, Franz Josef Conraths, 2013 .

A DPLL Algorithm for Solving DQBF

Armin Biere, Andreas Fröhlich, Gergely Kovásznai, 2012 .

Efficiently Solving Bit-Vector Problems Using Model Checkers

Armin Biere, Andreas Fröhlich, Gergely Kovásznai, 2013 .

More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding

Armin Biere, Andreas Fröhlich, Gergely Kovásznai, 2013, CSR.

Repeated cross-validation with embedded feature selection promotesidentification of potential biomarkers for paratuberculosis

Peter Oertel, Andreas Fröhlich, Petra Reinhold, 2016 .

: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into

Armin Biere, Andreas Fröhlich, Gergely Kovásznai, 2013, CADE.

XOR Local Search for Boolean Brent Equations

Armin Biere, Marijn J. H. Heule, Marijn Heule, 2021, SAT.

Improving Local Search for Bit-Vector Logics in SMT with Path Propagation

Armin Biere, Aina Niemetz, Mathias Preiner, 2015 .