Katalin Fazekas

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Quantified Boolean Formulas

Universally Quantified

Top Venues

Publications

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