Katalin Fazekas

15 papers A 5B 5Misc 1Journal 1Unranked 3

Year	Rank	Type	Title / 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