Accuate simplification of large symbolic formulae.

Francisco V. Fernndez, ngel Rodrguez-Vzquez, J. D. Martn, Jos L. Huertas

Browse the full ICCAD paper archive.