Chao Yan, Mark R. Greenstreet. Faster projection based methods for circuit level verification. In Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008. pages 410-415, IEEE, 2008. [doi]
Abstract is missing.