| Satisfiability modulo custom theories in Z3 N Bjørner, C Eisenhofer, L Kovács International Conference on Verification, Model Checking, and Abstract …, 2023 | 9 | 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 | 1 | 2023 |
| Embedding the connection calculus in satisfiability modulo theories C Eisenhofer, L Kovács, M Rawson AReCCa, 2023 | 1 | 2023 |
| 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 | 1 | 2022 |
| User-Propagators for Custom Theories in SMT Solving. NS Bjørner, C Eisenhofer, L Kovács SMT, 71-79, 2022 | 1 | 2022 |
| 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 |
