Binary decision diagrams on network of workstation.

Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCD paper archive.