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

Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stphane Graham-Lengrand, Laura Kovcs

Browse the full IJCAR paper archive.