Effective quantifier elimination for industrial applications.

Hirokazu Anai

Browse the full ISSAC paper archive.