Approaches to Parallel Quantifier Elimination.

Andreas Dolzmann, Oliver Gloor, Thomas Sturm

Browse the full ISSAC paper archive.