On Satisfiability of Polynomial Equations over Large Prime Fields.

Lucas Clemente Vella Leonardo Alt

Published in: SMT (2022)

Keyphrases

polynomial equations
numerically stable
algebraic geometry
satisfiability problem
eigenvalue problems
phase transition
np complete
learning algorithm
decision trees
regression problems