On the Combinatorial and Algebraic Complexity of Quantifier Elimination

Saugata Basu, Richard Pollack, Marie-Franoise Roy

Browse the full FOCS paper archive.