Efficient Preprocessing Methods for Quantifier Elimination.

Christopher W. Brown, Christian Gross

Browse the full CASC paper archive.