Quantifier elimination via clause redundancy.

Eugene Goldberg, Panagiotis Manolios

Browse the full FMCAD paper archive.