Katalin Fazekas

According to our database, Katalin Fazekas authored at least 9 papers between 2016 and 2023.

Collaborative distances:

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

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