TY  - RPRT
TI  - MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
AU  - Thomas Hader
AU  - Daniela Kaufmann
AU  - Ahmed Irfan
AU  - Stéphane Graham-Lengrand
AU  - Laura Kovács
PY  - 2024
UR  - https://arxiv.org/abs/2402.17927
ID  - 2402.17927
ER  -