Generic Complexity of Presburger Arithmetic.

Alexander N. Rybalov

Published in: Theory Comput. Syst. (2010)

Keyphrases

presburger arithmetic
quantifier elimination
high level
computational complexity
algebraic structure
database
artificial intelligence
database systems
feature vectors
np hard