Aarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar
Learning from BDDs in SAT-based bounded model checking
DAC, 2003.
@inproceedings{DAC-2003-GuptaGWYA,
author = "Aarti Gupta and Malay K. Ganai and Chao Wang and Zijiang Yang and Pranav Ashar",
booktitle = "{Proceedings of the 40th Design Automation Conference}",
doi = "10.1145/775832.776040",
isbn = "1-58113-688-9",
pages = "824--829",
publisher = "{ACM}",
title = "{Learning from BDDs in SAT-based bounded model checking}",
year = 2003,
}