| Satisfiability modulo custom theories in Z3 N Bjørner, C Eisenhofer, L Kovács International Conference on Verification, Model Checking, and Abstract …, 2023 | 16 | 2023 |
| Non-Classical Logics in Satisfiability Modulo Theories C Eisenhofer, R Alassaf, M Rawson, L Kovács International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | 3 | 2023 |
| PolySAT: Word-level Bit-vector Reasoning in Z3 J Rath, C Eisenhofer, D Kaufmann, N Bjørner, L Kovács arXiv preprint arXiv:2406.04696, 2024 | 2 | 2024 |
| Lemmaless induction in trace logic A Bhayat, P Georgiou, C Eisenhofer, L Kovács, G Reger International Conference on Intelligent Computer Mathematics, 191-208, 2022 | 2 | 2022 |
| User-Propagators for Custom Theories in SMT Solving. NS Bjørner, C Eisenhofer, L Kovács SMT, 71-79, 2022 | 2 | 2022 |
| Embedding the Connection Calculus in Satisfiability Modulo Theories. C Eisenhofer, L Kovács, M Rawson AReCCa@ TABLEAUX, 54-63, 2023 | 1 | 2023 |
| Strongly Analytic Calculi for KLM Logics with SMT-Based Prover A Ciabattoni, C Eisenhofer, D Rozplokhas Proceedings of the International Conference on Principles of Knowledge …, 2024 | | 2024 |
| Spanning Matrices via Satisfiability Solving C Eisenhofer, M Rawson, L Kovács arXiv preprint arXiv:2402.10610, 2024 | | 2024 |
| User-Propagation for Custom Theories in SMT Solving C Eisenhofer | | 2022 |
| Automated Instantiation of Control Flow Tracing Exercises C Eisenhofer, M Riener arXiv preprint arXiv:2202.03565, 2022 | | 2022 |
| User propagators for satisfiability modulo custom theories C Eisenhofer Technische Universität Wien, 2022 | | 2022 |
| User-Propagation for Custom Theories in SMT Solving N Bjørner, C Eisenhofer, L Kovács | | 2022 |
