A Cluster-Based Cylindrical Algebraic Decomposition Algorithm.

Dennis S. Arnon

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

Keyphrases

decomposition algorithm
decomposition method
working set
equality constraints
working set selection
recognition algorithm
spatio temporal