Clemens Eisenhofer

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Propositional Logic

Answer Set Programming

Top Venues

Publications

Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács
PolySAT: Word-level Bit-vector Reasoning in Z3. CoRR (2024)
Clemens Eisenhofer, Michael Rawson, Laura Kovács
Spanning Matrices via Satisfiability Solving. CoRR (2024)
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
Satisfiability Modulo Custom Theories in Z3. VMCAI (2023)
Clemens Eisenhofer, Laura Kovács, Michael Rawson
Embedding the Connection Calculus in Satisfiability Modulo Theories. AReCCa@TABLEAUX (2023)
Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács
Non-Classical Logics in Satisfiability Modulo Theories. TABLEAUX (2023)
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
User-Propagators for Custom Theories in SMT Solving. SMT (2022)
Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
Lemmaless Induction in Trace Logic. CICM (2022)
Clemens Eisenhofer, Martin Riener
Automated Instantiation of Control Flow Tracing Exercises. CoRR (2022)