Thomas Hader

According to our database, Thomas Hader authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver.

Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács

CoRR, 2024

An SMT-LIB Theory of Finite Fields.

Thomas Hader, Alex Ozdemir

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper).

Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

SMT Solving over Finite Field Arithmetic.

Thomas Hader, Daniela Kaufmann, Laura Kovács

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

An SMT Approach for Solving Polynomials over Finite Fields.

Thomas Hader, Laura Kovács

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), 2022