From simplification to a partial theory solver for non-linear real polynomial constraints.

Christopher W. Brown Fernando Vale-Enriquez

Published in: J. Symb. Comput. (2020)

Keyphrases

constraint solving
constraint solver
constraint satisfaction
theoretical basis
hard constraints
real life
co occurrence
constraint programming
information theory
linear constraints
neural network
constraint satisfaction problems
general theory
formal theory