Quantifier Elimination in Automatic Loop Parallelization.

Armin Größlinger Martin Griebl Christian Lengauer

Published in: Algorithmic Algebra and Logic (2005)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
first order logic
functional programming
constraint databases
semi automatic
cardinality constraints
databases
natural language
machine learning
search algorithm
data integration
qualitative and quantitative