Restricted symbolic evaluation is fast and usefulJ.Lawrence CarterB.K. Rosenet al.1989ICCAD 1989Conference paper