Gianpiero Cabodi, Paolo Camurati, Stefano Quer
Improving Symbolic Traversals by Means of Activity Profiles
DAC, 1999.
@inproceedings{DAC-1999-CabodiCQ, author = "Gianpiero Cabodi and Paolo Camurati and Stefano Quer", booktitle = "{Proceedings of the 36th Design Automation Conference}", doi = "10.1145/309847.309938", pages = "306--311", publisher = "{ACM Press}", title = "{Improving Symbolic Traversals by Means of Activity Profiles}", year = 1999, }