A Quantifier Elimination Algorithm for Linear Real Arithmetic

Published in: CoRR (2008)

Keyphrases

elimination algorithm
linear constraints
hadamard transform
image sequences
training data
markov random field
probabilistic inference
interval arithmetic