Andreas Fröhlich

16 papers A* 1A 6C 1Misc 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2023 J jnl
SN Comput. Sci.
Andreas Meißner, Andreas Fröhlich, Michaela Geierhos
2022 C conf
IJCCI
Andreas Meißner, Andreas Fröhlich, Michaela Geierhos
2021 conf
ICECS
Peter Toth, Marco Tiesing, Lukas Naumann, Andreas Fröhlich, Thomas Wirths, Peter Knott
2021 A conf
SAT
Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere
2018 conf
POS@SAT
Armin Biere, Andreas Fröhlich
2016 J jnl
Theory Comput. Syst.
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
2015 A conf
SAT
Armin Biere, Andreas Fröhlich
2015 A* conf
AAAI
Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi
2014 A conf
SAT
Tomás Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere
2014 A conf
SAT
Adrian Balint, Armin Biere, Andreas Fröhlich, Uwe Schöning
2014 conf
MFCS (2)
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
2014 conf
POS@SAT
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
2013 A conf
CADE
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
2013 Misc conf
CSR
Andreas Fröhlich, Gergely Kovásznai, Armin Biere
2012 conf
SMT@IJCAR
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
2010 A conf
SAT
Adrian Balint, Andreas Fröhlich