Clemens Eisenhofer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TABLEAUX | Finding Connections via Satisfiability Solving. | Clemens Eisenhofer, Michael Rawson, Laura Kovcs |
| 2025 | TABLEAUX | On Solving String Equations via Powers and Parikh Images. | Clemens Eisenhofer, Theodor Seiser, Nikolaj S. Bjrner, Laura Kovcs |
| 2025 | TABLEAUX | Constraint Learning for Non-confluent Proof Search. | Michael Rawson, Clemens Eisenhofer, Laura Kovcs |
| 2024 | KR | Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. | Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas |
| 2023 | TABLEAUX | Non-Classical Logics in Satisfiability Modulo Theories. | Clemens Eisenhofer, Ruba Alassaf, Michael Rawson, Laura Kovcs |
| 2023 | VMCAI | Satisfiability Modulo Custom Theories in Z3. | Nikolaj S. Bjrner, Clemens Eisenhofer, Laura Kovcs |