Minimization of Symbolic Relations.

Bill Lin, Fabio Somenzi

Browse the full ICCAD paper archive.