Prakash Arunachalam, Craig M. Chase, Dinos Moundanos. Distributed Binary Decision Diagrams for Verification of Large Circuit. In 1996 International Conference on Computer Design (ICCD 96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings. pages 365-370, IEEE Computer Society, 1996. [doi]
Abstract is missing.