David Déharbe, Jorgiano Márcio Bruno Vidal. Optimizing BDD-Based Verification Analysing Variable Dependencies. In Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2001, Pirenopolis, Brazil, September 10-15, 2001. pages 64-71, IEEE Computer Society, 2001. [doi]
Abstract is missing.