Clemens Eisenhofer

According to our database, Clemens Eisenhofer authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

PolySAT: Word-level Bit-vector Reasoning in Z3.

Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács

CoRR, 2024

Spanning Matrices via Satisfiability Solving.

Clemens Eisenhofer, Michael Rawson, Laura Kovács

CoRR, 2024

Strongly Analytic Calculi for KLM Logics with SMT-Based Prover.

Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

2023

Satisfiability Modulo Custom Theories in Z3.

Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Non-Classical Logics in Satisfiability Modulo Theories.

Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Embedding the Connection Calculus in Satisfiability Modulo Theories.

Clemens Eisenhofer, Laura Kovács, Michael Rawson

Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 2023

2022

User-Propagators for Custom Theories in SMT Solving.

Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022

Lemmaless Induction in Trace Logic.

Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Automated Instantiation of Control Flow Tracing Exercises.

Clemens Eisenhofer, Martin Riener

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021