Clemens Eisenhofer

16 papers A* 1B 5C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Constraint Learning for Non-confluent Proof Search.
CoRR
Michael Rawson, Clemens Eisenhofer, Laura Kovács
2026 J jnl
Finding Connections via Satisfiability Solving.
CoRR
Clemens Eisenhofer, Michael Rawson, Laura Kovács
2026 J jnl
On Solving String Equations via Powers and Parikh Images.
CoRR
Clemens Eisenhofer, Theodor Seiser, Nikolaj S. Bjørner, Laura Kovács
2025 B conf
Constraint Learning for Non-confluent Proof Search.
TABLEAUX
Michael Rawson, Clemens Eisenhofer, Laura Kovács
2025 B conf
Finding Connections via Satisfiability Solving.
TABLEAUX
Clemens Eisenhofer, Michael Rawson, Laura Kovács
2025 B conf
On Solving String Equations via Powers and Parikh Images.
TABLEAUX
Clemens Eisenhofer, Theodor Seiser, Nikolaj S. Bjørner, Laura Kovács
2024 — conf
PolySAT: Word-level Bit-vector Reasoning in Z3.
VSTTE
Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács
2024 J jnl
PolySAT: Word-level Bit-vector Reasoning in Z3.
CoRR
Jakob Rath, Clemens Eisenhofer, Daniela Kaufmann, Nikolaj S. Bjørner, Laura Kovács
2024 J jnl
Spanning Matrices via Satisfiability Solving.
CoRR
Clemens Eisenhofer, Michael Rawson, Laura Kovács
2024 A* conf
Strongly Analytic Calculi for KLM Logics with SMT-Based Prover.
KR
Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas
2023 — conf
Embedding the Connection Calculus in Satisfiability Modulo Theories.
AReCCa@TABLEAUX
Clemens Eisenhofer, Laura Kovács, Michael Rawson
2023 B conf
Non-Classical Logics in Satisfiability Modulo Theories.
TABLEAUX
Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovács
2023 B conf
Satisfiability Modulo Custom Theories in Z3.
VMCAI
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
2022 C conf
Lemmaless Induction in Trace Logic.
CICM
Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger
2022 — conf
User-Propagators for Custom Theories in SMT Solving.
SMT
Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács
2021 — conf
Automated Instantiation of Control Flow Tracing Exercises.
ThEdu@CADE
Clemens Eisenhofer, Martin Riener