A Duality-Aware Calculus for Quantified Boolean Formulas. - Katalin Fazekas; Martina Seidl; Armin Biere (SYNASC, 2016)

Skolem Function Continuation for Quantified Boolean Formulas. - Katalin Fazekas; Marijn J. H. Heule; Martina Seidl; Armin Biere (TAP@STAF, 2017)

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories. - Katalin Fazekas; Fahiem Bacchus; Armin Biere (IJCAR, 2018)

Incremental Inprocessing in SAT Solving. - Katalin Fazekas; Armin Biere; Christoph Scholl 001 (SAT, 2019)

Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem. - Katalin Fazekas; Markus Sinnl; Armin Biere; Sophie N. Parragh (CPAIOR, 2020)

Model Checking AUTOSAR Components with CBMC. - Timothee Durand; Katalin Fazekas; Georg Weissenbacher; Jakob Zwirchmayr (FMCAD, 2021)

On Incremental Pre-processing for SMT. - Nikolaj S. Bjørner; Katalin Fazekas (CADE, 2023)

SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. - Katalin Fazekas; Aman Goel; Karem A. Sakallah (FMCAD, 2023)

IPASIR-UP: User Propagators for CDCL. - Katalin Fazekas; Aina Niemetz; Mathias Preiner; Markus Kirchweger; Stefan Szeider; Armin Biere (SAT, 2023)

Supplementary material of submission "IPASIR-UP: User Propagators for CDCL". - Katalin Fazekas; Aina Niemetz; Mathias Preiner; Markus Kirchweger; Stefan Szeider; Armin Biere (Zenodo, 2023)

CaDiCaL 2.0. - Armin Biere; Tobias Faller; Katalin Fazekas; Mathias Fleury; Nils Froleyks; Florian Pollitt (CAV (1), 2024)

Clausal Equivalence Sweeping. - Armin Biere; Katalin Fazekas; Mathias Fleury; Nils Froleyks (FMCAD, 2024)

Certifying Incremental SAT Solving. - Katalin Fazekas; Florian Pollitt; Mathias Fleury; Armin Biere (LPAR, 2024)

Clausal Congruence Closure. - Armin Biere; Katalin Fazekas; Mathias Fleury; Nils Froleyks (SAT, 2024)

Satisfiability Modulo User Propagators. - Katalin Fazekas; Aina Niemetz; Mathias Preiner; Markus Kirchweger; Stefan Szeider; Armin Biere (J. Artif. Intell. Res., 2024)

CaDiCaL 2.0 CAV'24 Tool-Paper Artifact. - Armin Biere; Tobias Faller; Katalin Fazekas; Mathias Fleury; Nils Froleyks; Florian Pollitt (Zenodo, 2024)

CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models. - Armin Biere; Katalin Fazekas; Mathias Fleury; Nils Froleyks (Zenodo, 2024)

Clausal Equivalence Sweeping Paper Logs. - Armin Biere; Katalin Fazekas; Mathias Fleury; Nils Froleyks (Zenodo, 2024)

Supplementary material of "Satisfiability modulo User Propagators". - Katalin Fazekas; Aina Niemetz; Mathias Preiner; Markus Kirchweger; Stefan Szeider; Armin Biere (Zenodo, 2024)

CaDiCaL 2.2 System Description Artifact. - Florian Pollitt; Mathias Fleury; Katalin Fazekas; Nils Froleyks; Armin Biere (Zenodo, 2025)

CaDiCaL 2.2 System Description Artifact. - Florian Pollitt; Mathias Fleury; Katalin Fazekas; Nils Froleyks; Armin Biere (Zenodo, 2025)

CaDiCaL 2.2 System Description Artifact. - Florian Pollitt; Mathias Fleury; Katalin Fazekas; Nils Froleyks; Armin Biere (Zenodo, 2025)