I am a post-doctoral researcher in the group of Formal Methods in Systems Engineering (FORSYTE) at TU Wien. My main research interest is in developing techniques and tools to achieve efficient and fully automated logic based reasoning engines. More precisely, I am interested in the theoretical study and practical improvement of algorithms underlying SAT, QBF and SMT solvers.

Previously I was a PhD student in the doctoral program Logical Methods in Computer Science (LogiCS) funded by FWF, under the supervision of Armin Biere, at the Johannes Kepler University Linz in Austria.

Contact

TU Wien
Formal Methods in Systems Engineering
Institute of Logic and Computation
Favoritenstraße 9–11/192-4
A-1040 Vienna, Austria

Email: k DOT katalin DOT fazekas AT gmail DOT com

Publications

Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem
Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie Parragh
International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'20)
[ preprint | bib | experiments | slides | talk ]

Incremental Inprocessing SAT Solving
Katalin Fazekas, Armin Biere, Christoph Scholl
International Conference on Theory and Applications of Satisfiability Testing (SAT'19)
[ preprint | bib | experiments | slides ]

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories
Katalin Fazekas, Fahiem Bacchus, Armin Biere
International Joint Conference on Automated Reasoning (IJCAR'18)
[ preprint | bib | experiments | slides ]

Skolem Function Continuation for Quantified Boolean Formulas
Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere
International Conference on Tests and Proofs (TAP'17)
[ preprint | bib | slides ]

A Duality-Aware Calculus for Quantified Boolean Formulas
Katalin Fazekas, Martina Seidl, Armin Biere
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'16)
[ preprint | bib | slides ]

Technical Reports

Duplex Encoding of Antibandwidth Feasibility Formulas Submitted to the SAT Competition 2020
Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie Parragh
SAT Competition 2020 - Solver and Benchmark Descriptions (SAT-COMP'20)
[ pdf | bib ]

CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020
Armin Biere, Katalin Fazekas, Mathias Fleury, Maximillian Heisinger
SAT Competition 2020 - Solver and Benchmark Descriptions (SAT-COMP'20)
[ pdf | bib ]

Workshop talks

Ranking Robustness under Sub-Sampling for the SAT Competition 2018
Katalin Fazekas, Daniela Kaufmann, Armin Biere
Pragmatics of SAT (POS'19)
[ slides ]

Theses

On SAT-based Solution Methods for Computational Problems
Katalin Fazekas
Dissertation, Johannes Kepler University Linz (JKU)
[ pdf | bib ]

EUF-Proofs for SMT4J
Katalin Fazekas
Master Thesis, Johannes Kepler University Linz (JKU)
[ pdf ]