Jun Yuan Kurt Shultz Carl Pixley Hillel Miller Adnan Aziz Modeling design constraints and biasing in simulation using BDDs. 584-590 1999 conf/iccad/1999 ICCAD http://portal.acm.org/citation.cfm?id=339492.340081 db/conf/iccad/iccad1999.html#YuanSPMA99