New Techniques for Efficient Verification with Implicitly Conjoined BDDs.

Alan J. Hu, Gary York, David L. Dill

Browse the full DAC paper archive.