Deciding linear-trigonometric problems.

Hirokazu Anai Volker Weispfenning

Published in: ISSAC (2000)

Keyphrases

image processing
database
application domains
real time
machine learning
computational complexity
optimization problems
np complete
benchmark problems
mathematical programming