Relatively Complete and Efficient Partial Quantifier Elimination.

Estifanos Getachew, Arie Gurfinkel, Richard J. Trefler

Browse the full CADE paper archive.