Uniform Quantifier Elimination and Constraint Query Processing.

Saugata Basu

Browse the full ISSAC paper archive.