Katalin Fazekas

Orcid: 0000-0002-0497-3059

Affiliations:
  • TU Wien, Vienna, Austria


According to our database1, Katalin Fazekas authored at least 15 papers between 2016 and 2024.

Collaborative distances:

Timeline

2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
3
3
1
1
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
CaDiCaL 2.0 CAV'24 Tool-Paper Artifact.
Dataset, April, 2024

Satisfiability Modulo User Propagators.
J. Artif. Intell. Res., 2024

Clausal Congruence Closure.
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

Certifying Incremental SAT Solving.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

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

2023
Supplementary material of submission "IPASIR-UP: User Propagators for CDCL".
Dataset, June, 2023

IPASIR-UP: User Propagators for CDCL.
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.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

On Incremental Pre-processing for SMT.
Proceedings of the Automated Deduction - CADE 29, 2023

2021
Model Checking AUTOSAR Components with CBMC.
Proceedings of the Formal Methods in Computer Aided Design, 2021

2020
Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019
Incremental Inprocessing in SAT Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

2018
Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017
Skolem Function Continuation for Quantified Boolean Formulas.
Proceedings of the Tests and Proofs - 11th International Conference, 2017

2016
A Duality-Aware Calculus for Quantified Boolean Formulas.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016


  Loading...