Fazekas, K., Niemetz, A., Preiner, M., Kirchweger, M., Szeider, S., & Biere, A. (2024). Satisfiability Modulo User Propagators. Journal of Artificial Intelligence Research, 81, 989–1017. https://doi.org/10.1613/jair.1.16163 ( reposiTUm)

Fazekas, K., Pollitt, F., Fleury, M., & Biere, A. (2024). Certifying Incremental SAT Solving. In Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 321–340). https://doi.org/10.29007/pdcc ( reposiTUm)

Fazekas, K., Pollitt, F., Fleury, M., & Biere, A. (2024). Incremental Proofs for Bounded Model Checking. In MBMV 2024 : 27. Workshop (pp. 133–143). http://hdl.handle.net/20.500.12708/211103 ( reposiTUm)

Biere, A., Fazekas, K., Fleury, M., & Froleyks, N. (2024). Clausal Congruence Closure. In 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), Pune, India. https://doi.org/10.4230/LIPIcs.SAT.2024.6 ( reposiTUm)

Biere, A., Faller, T., Fazekas, K., Fleury, M., Froleyks, N., & Pollitt, F. (2024). CaDiCaL 2.0. In Computer Aided Verification (pp. 133–152). Springer. https://doi.org/10.1007/978-3-031-65627-9_7 ( reposiTUm)

Bjørner, N., & Fazekas, K. (2023). On Incremental Pre-processing for SMT. In B. Pientka & C. Tinelli (Eds.), Automated Deduction – CADE 29  29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (pp. 41–60). Springer. https://doi.org/10.1007/978-3-031-38499-8_3 ( reposiTUm)

Fazekas, K., Niemetz, A., Preiner, M., Kirchweger, M., Szeider, S., & Biere, A. (2023). IPASIR-UP: User Propagators for CDCL. In M. Mahajan & F. Slivovsky (Eds.), 26th International Conference on Theory and Applications of Satisfiability Testing (pp. 8:1-8:13). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2023.8 ( reposiTUm)

Fazekas, K. (2024, June 26). Incremental SAT Solvers in Practice [Conference Presentation]. SAT/SMT/AR Summer School 2024, Nancy, France. ( reposiTUm)

Fazekas, K. (2024, October 14). SAT modulo IPASIR-UP [Presentation]. Dagstuhl Seminar 24421: SAT and Interactions, Wadern, Germany. ( reposiTUm)

Fazekas, K., Pollitt, F., Fleury, M., & Biere, A. (2024, July 23). Certifying Incremental SAT Solving [Conference Presentation]. 22nd International Workshop on Satisfiability Modulo Theories (SMT 2024), Montreal, Canada. http://hdl.handle.net/20.500.12708/210159 ( reposiTUm)