Login / Signup
An Improvement of the Projection Operator in Cylindrical Algebraic Decomposition.
Hoon Hong
Published in:
ISSAC (1990)
Keyphrases
</>
projection operator
wide range
database
image segmentation
higher order
decomposition methods
search algorithm
significant improvement