Geert Janssen. A Consumer Report on BDD Packages. In Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2003, Sao Paulo, Brazil, September 8-11, 2003. pages 217, IEEE Computer Society, 2003. [doi]
Abstract is missing.