Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition.

Matthew England Russell J. Bradford James H. Davenport

Published in: ISSAC (2015)

Keyphrases

case study
constraint satisfaction
constraint programming
theorem proving
constrained optimization
geometric constraints
machine learning
information systems
multiscale
search algorithm
integrity constraints
theorem prover
wavelet packet
decomposition algorithm
hierarchical decomposition
multiple constraints