Gopal Paul Ajit Pal Bhargab B. Bhattacharya On finding the minimum test set of a BDD-based circuit. 169-172 2006 conf/glvlsi/2006 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1127908.1127949 db/conf/glvlsi/glvlsi2006.html#PaulPB06