Thomas Hader

Publication Activity (10 Years)

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

Top Topics

Model Based Reasoning

Graduate Students

Probabilistic Reasoning

Top Venues

Publications

Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
MCSat-based Finite Field Reasoning in the Yices2 SMT Solver. CoRR (2024)
Thomas Hader, Alex Ozdemir
An SMT-LIB Theory of Finite Fields. SMT@CAV (2024)
Thomas Hader, Alex Ozdemir
An SMT-LIB Theory of Finite Fields. CoRR (2024)
Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper). IJCAR (1) (2024)
Thomas Hader, Daniela Kaufmann, Laura Kovács
SMT Solving over Finite Field Arithmetic. LPAR (2023)
Thomas Hader, Daniela Kaufmann, Laura Kovács
SMT Solving over Finite Field Arithmetic. CoRR (2023)
Thomas Hader, Laura Kovács
An SMT Approach for Solving Polynomials over Finite Fields. SMT (2022)