On Simplification of Formulas with Unconstrained Variables and Quantifiers.

Martin Jons, Jan Strejcek

Browse the full SAT paper archive.