5 citations · 5 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
An SMT-LIB Theory of Finite Fields
Thomas Hader, Alex Ozdemir
In the last few years there have been rapid developments in SMT solving for finite fields. These include new decision procedures, new implementations of SMT theory solvers, and new…
cs.LO2024
MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
Thomas Hader, Daniela Kaufmann, Ahmed Irfan +2
This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits…