Fast Approximations of Quantifier Elimination.

Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel

Browse the full CAV paper archive.