Name Card

Full name Familienname, Vorname
Hader, Thomas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura SMT Solving over Finite Field ArithmeticInproceedings Konferenzbeitrag Jun-2023
2Hader, Thomas ; Kovacs, Laura An SMT Approach for Solving Polynomials over Finite FieldsInproceedings Konferenzbeitrag 1-Aug-2022
3Hader Thomas - 2022 - Non-linear SMT-reasoning over finite fields.pdf.jpgHader, Thomas Non-linear SMT-reasoning over finite fieldsThesis Hochschulschrift 2022