Alan J. Hu, Gary York, David L. Dill
New Techniques for Efficient Verification with Implicitly Conjoined BDDs
DAC, 1994.
@inproceedings{DAC-1994-HuYD,
author = "Alan J. Hu and Gary York and David L. Dill",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196377",
isbn = "0-7803-1836-6",
pages = "276--282",
publisher = "{ACM Press}",
title = "{New Techniques for Efficient Verification with Implicitly Conjoined BDDs}",
year = 1994,
}