Name Card

Full name Familienname, Vorname
Eisenhofer, Clemens
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eisenhofer-2024-Embedding the Connection Calculus in Satisfiability Modul...-vor.pdf.jpgEisenhofer, Clemens ; Kovacs, Laura ; Rawson, Michael Embedding the Connection Calculus in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag Jan-2024
2Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023
3Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura Satisfiability Modulo Custom Theories in Z3Inproceedings Konferenzbeitrag Jan-2023
4Eisenhofer, Clemens User-Propagation for Custom Theories in SMT SolvingPresentation Vortrag14-Sep-2022
5Bjorner-2022-User-Propagation for Custom Theories in SMT Solving-vor.pdf.jpgBjorner, Nikolaj ; Eisenhofer, Clemens ; Kovacs, Laura User-Propagation for Custom Theories in SMT SolvingInproceedings Konferenzbeitrag 14-Aug-2022
6Eisenhofer-2022-Automated Instantiation of Control Flow Tracing Exercises-vor.pdf.jpgEisenhofer, Clemens ; Riener, Martin Automated Instantiation of Control Flow Tracing ExercisesInproceedings Konferenzbeitrag 8-Feb-2022
7Eisenhofer Clemens - 2022 - User propagators for satisfiability modulo custom...pdf.jpgEisenhofer, Clemens User propagators for satisfiability modulo custom theoriesThesis Hochschulschrift 2022