On the combinatorial and algebraic complexity of quantifier elimination | IEEE Conference Publication | IEEE Xplore