Katalin Fazekas

According to our database, Katalin Fazekas authored at least 30 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Real-time Proof Checking for Distributed Incremental SAT Solving.

Dominik Schreiber, Mathias Fleury, Katalin Fazekas, Armin Biere

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Interactions in Constraint Optimization (Dagstuhl Seminar 25371).

Katalin Fazekas, Matti Järvisalo, Nina Narodytska, Peter J. Stuckey, Christoph Jabs

Dagstuhl Reports, September, 2025

Hardware Model Checking Certificates Benchmarks.

Nils Froleyks, Armin Biere, Mathias Fleury, Katalin Fazekas

Dataset, April, 2025

Clausal Equivalence Checking Miters and SAT Competition Artifact.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Dataset, April, 2025

Clausal Equivalence Checking Miters and SAT Competition Artifact.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Dataset, April, 2025

CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2024 Models.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Dataset, April, 2025

CaDiCaL 2.2 System Description Artifact.

Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Armin Biere

Dataset, February, 2025

CaDiCaL 2.2 System Description Artifact.

Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Armin Biere

Dataset, February, 2025

CaDiCaL 2.2 System Description Artifact.

Florian Pollitt, Mathias Fleury, Katalin Fazekas, Nils Froleyks, Armin Biere

Dataset, February, 2025

Incremental Inprocessing Rules beyond Resolution.

Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

SAT Reasoning in CDCL(T) Solvers.

Katalin Fazekas

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Supplementary material of "Satisfiability modulo User Propagators".

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

Dataset, September, 2024

Clausal Equivalence Sweeping Paper Logs.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Dataset, May, 2024

CNF Encoded Isomorphic and Optimized Miters from Hardware Model Checking Competition 2020 Models.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Dataset, May, 2024

CaDiCaL 2.0 CAV'24 Tool-Paper Artifact.

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Dataset, April, 2024

Satisfiability Modulo User Propagators.

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

J. Artif. Intell. Res., 2024

Clausal Congruence Closure.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Certifying Incremental SAT Solving.

Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

Clausal Equivalence Sweeping.

Armin Biere, Katalin Fazekas, Mathias Fleury, Nils Froleyks

Proceedings of the Formal Methods in Computer-Aided Design, 2024

CaDiCaL 2.0.

Armin Biere, Tobias Faller, Katalin Fazekas, Mathias Fleury, Nils Froleyks, Florian Pollitt

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Supplementary material of submission "IPASIR-UP: User Propagators for CDCL".

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

Dataset, June, 2023

IPASIR-UP: User Propagators for CDCL.

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols.

Katalin Fazekas, Aman Goel, Karem A. Sakallah

Proceedings of the Formal Methods in Computer-Aided Design, 2023

On Incremental Pre-processing for SMT.

Nikolaj S. Bjørner, Katalin Fazekas

Proceedings of the Automated Deduction - CADE 29, 2023

2021

Model Checking AUTOSAR Components with CBMC.

Timothee Durand, Katalin Fazekas, Georg Weissenbacher, Jakob Zwirchmayr

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem.

Katalin Fazekas, Markus Sinnl, Armin Biere, Sophie N. Parragh

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Incremental Inprocessing in SAT Solving.

Katalin Fazekas, Armin Biere, Christoph Scholl

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

2018

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories.

Katalin Fazekas, Fahiem Bacchus, Armin Biere

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Skolem Function Continuation for Quantified Boolean Formulas.

Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere

Proceedings of the Tests and Proofs - 11th International Conference, 2017

2016

A Duality-Aware Calculus for Quantified Boolean Formulas.

Katalin Fazekas, Martina Seidl, Armin Biere

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016