Quantifier elimination in automatic loop parallelization.

Armin Größlinger Martin Griebl Christian Lengauer

Published in: J. Symb. Comput. (2006)

Keyphrases

quantifier elimination
constraint propagation
cardinality constraints
first order logic
functional programming
semi automatic
artificial intelligence
constraint databases
object oriented
presburger arithmetic