Randal E. Bryant Symbolic Analysis Methods for Masks, Circuits, and Systems. 6-8 1993 ICCD db/conf/iccd/iccd1993.html#Bryant93