Seguir
Clemens Eisenhofer
Clemens Eisenhofer
Dirección de correo verificada de tuwien.ac.at
Título
Citado por
Citado por
Año
Satisfiability modulo custom theories in Z3
N Bjørner, C Eisenhofer, L Kovács
International Conference on Verification, Model Checking, and Abstract …, 2023
182023
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
32023
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
22024
Embedding the connection calculus in satisfiability modulo theories
C Eisenhofer, L Kovács, M Rawson
# PLACEHOLDER_PARENT_METADATA_VALUE# 3613, 54-63, 2024
22024
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
22022
User-Propagators for Custom Theories in SMT Solving.
NS Bjørner, C Eisenhofer, L Kovács
SMT, 71-79, 2022
22022
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–12