An SMT Approach for Solving Polynomials over Finite Fields. - Thomas Hader; Laura Kovács (SMT, 2022)

SMT Solving over Finite Field Arithmetic. - Thomas Hader; Daniela Kaufmann; Laura Kovács (LPAR, 2023)

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 (IJCAR (1), 2024)

An SMT-LIB Theory of Finite Fields. - Thomas Hader; Alex Ozdemir (SMT@CAV, 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)

Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search. - Enrico Lipparini; Thomas Hader; Ahmed Irfan; Stéphane Graham-Lengrand (CADE, 2025)

Decision Heuristics in MCSat. - Thomas Hader; Ahmed Irfan; Stéphane Graham-Lengrand (CAV (3), 2025)