Reducing Bit-Vector Polynomials to SAT Using Gröbner Bases. - Thomas Seed; Andy King; Neil Evans (SAT, 2020)

Program verification using polynomials over modular arithmetic - Thomas Seed (2021)

Polynomial Analysis of Modular Arithmetic. - Thomas Seed; Chris Coppins; Andy King; Neil Evans (SAS, 2023)