Katalin Fazekas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | CaDiCaL 3.0 (Tool Paper). | Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Andr Schidler, Dominik Schreiber, Armin Biere |
| 2026 | TACAS | Real-time Proof Checking for Distributed Incremental SAT Solving. | Dominik Schreiber, Mathias Fleury, Katalin Fazekas, Armin Biere |
| 2024 | CAV | CaDiCaL 2.0. | Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt |
| 2024 | FMCAD | Clausal Equivalence Sweeping. | Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks |
| 2024 | LPAR | Certifying Incremental SAT Solving. | Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere |
| 2024 | SAT | Clausal Congruence Closure. | Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks |
| 2023 | CADE | On Incremental Pre-processing for SMT. | Nikolaj S. Bjrner, Katalin Fazekas |
| 2023 | FMCAD | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. | Katalin Fazekas, Aman Goel, Karem A. Sakallah |
| 2023 | SAT | IPASIR-UP: User Propagators for CDCL. | Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere |
| 2021 | FMCAD | Model Checking AUTOSAR Components with CBMC. | Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr |
| 2020 | CPAIOR | Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem. | Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie N. Parragh |
| 2019 | SAT | Incremental Inprocessing in SAT Solving. | Katalin Fazekas, Armin Biere, Christoph Scholl |
| 2018 | CADE | Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories. | Katalin Fazekas, Fahiem Bacchus, Armin Biere |
| 2017 | TAP | Skolem Function Continuation for Quantified Boolean Formulas. | Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere |
| 2016 | SYNASC | A Duality-Aware Calculus for Quantified Boolean Formulas. | Katalin Fazekas, Martina Seidl, Armin Biere |