Login / Signup
Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving.
Tarik Viehmann
Gereon Kremer
Erika Ábrahám
Published in:
SC²@ISSAC (2017)
Keyphrases
</>
decomposition method
information retrieval
learning algorithm
image processing
multiscale
edge detection
morphological operators
convex sets
decomposition algorithm
projection method