Improving the use of equational constraints in cylindrical algebraic decomposition.

Matthew England Russell J. Bradford James H. Davenport

Published in: CoRR (2015)

Keyphrases

constraint satisfaction
theorem proving
decomposition methods
image processing
multiscale
data structure
lower bound
constraint networks
linear constraints