Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
SAT sweeping with local observability don’t-cares
DAC, 2006.
@inproceedings{DAC-2006-ZhuKKS,
author = "Qi Zhu and Nathan Kitchen and Andreas Kuehlmann and Alberto L. Sangiovanni-Vincentelli",
booktitle = "{Proceedings of the 43rd Design Automation Conference}",
doi = "10.1145/1146909.1146970",
isbn = "1-59593-381-6",
pages = "229--234",
publisher = "{ACM}",
title = "{SAT sweeping with local observability don’t-cares}",
year = 2006,
}