Katalin Fazekas
发表
Jozsef Visontai,
Aladar Reicher,
Katalin Fazekas,
2006
.
Armin Biere,
Martina Seidl,
Marijn J. H. Heule,
2017,
TAP@STAF.
Markus Sinnl,
Sophie N. Parragh,
Armin Biere,
2020,
CPAIOR.
Armin Biere,
Christoph Scholl,
Katalin Fazekas,
2019,
SAT.
Armin Biere,
Martina Seidl,
Katalin Fazekas,
2016,
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).
Armin Biere,
Fahiem Bacchus,
Katalin Fazekas,
2018,
IJCAR.
Jakob Zwirchmayr,
Georg Weissenbacher,
Katalin Fazekas,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
C A D I C A L, K ISSAT , P ARACOOBA , P LINGELING and T REENGELING Entering the SAT Competition 2020
Armin Biere,
Mathias Fleury,
Katalin Fazekas,
2020
.