On Satisfiability of Polynomial Equations over Large Prime Fields. - Lucas Clemente Vella; Leonardo Alt (SMT, 2022)