Optimising Problem Formulation for Cylindrical Algebraic Decomposition

Russell J. Bradford James H. Davenport Matthew England David J. Wilson

Published in: CoRR (2013)

Keyphrases

decomposition method
set theoretic
decomposition algorithm
real world
real time
artificial intelligence
search engine
computer vision
special case
probabilistic model
database
machine learning
search algorithm
wavelet packet
quadratic programming