F. Bianchi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Roberto Ansaloni. Boolean Function Manipulation on a Parallel System Using BDDs. In Louis O. Hertzberger, Peter M. A. Sloot, editors, High-Performance Computing and Networking, International Conference and Exhibition, HPCN Europe 1997, Vienna, Austria, April 28-30, 1997, Proceedings. Volume 1225 of Lecture Notes in Computer Science, pages 916-928, Springer, 1997.
Abstract is missing.