Katalin Fazekas

15 papers A 5B 5Misc 1Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
Real-time Proof Checking for Distributed Incremental SAT Solving.
TACAS (1)
Dominik Schreiber, Mathias Fleury, Katalin Fazekas, Armin Biere
2024 — conf
CaDiCaL 2.0.
CAV (1)
Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt
2024 B conf
Certifying Incremental SAT Solving.
LPAR
Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere
2024 A conf
Clausal Congruence Closure.
SAT
Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks
2024 B conf
Clausal Equivalence Sweeping.
FMCAD
Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks
2024 J jnl
Satisfiability Modulo User Propagators.
J. Artif. Intell. Res.
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
2023 A conf
IPASIR-UP: User Propagators for CDCL.
SAT
Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere
2023 A conf
On Incremental Pre-processing for SMT.
CADE
Nikolaj S. Bjørner, Katalin Fazekas
2023 B conf
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols.
FMCAD
Katalin Fazekas, Aman Goel, Karem A. Sakallah
2021 B conf
Model Checking AUTOSAR Components with CBMC.
FMCAD
Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr
2020 B conf
Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem.
CPAIOR
Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie N. Parragh
2019 A conf
Incremental Inprocessing in SAT Solving.
SAT
Katalin Fazekas, Armin Biere, Christoph Scholl
2018 A conf
Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories.
IJCAR
Katalin Fazekas, Fahiem Bacchus, Armin Biere
2017 — conf
Skolem Function Continuation for Quantified Boolean Formulas.
TAP@STAF
Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere
2016 Misc conf
A Duality-Aware Calculus for Quantified Boolean Formulas.
SYNASC
Katalin Fazekas, Martina Seidl, Armin Biere