Restricted symbolic evaluation is fast and useful.

J. Lawrence Carter, Barry K. Rosen, Gordon L. Smith, Vijay Pitchumani

Browse the full ICCAD paper archive.