Cylindrical Algebraic Decomposition with Equational Constraints.

Matthew England Russell J. Bradford James H. Davenport

Published in: CoRR (2019)

Keyphrases

constraint satisfaction
constraint programming
real time
theorem proving
decomposition method
neural network
machine learning
artificial intelligence
search engine
np hard
higher order
constraint networks
linear constraints
interval arithmetic