Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moondanos, Ziyad Hanna. Generation of shorter sequences for high resolution error diagnosis using sequential SAT. In Fumiyasu Hirose, editor, Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006. pages 25-29, IEEE, 2006. [doi]
@inproceedings{PanCMH06,
title = {Generation of shorter sequences for high resolution error diagnosis using sequential SAT},
author = {Sung-Jui (Song-Ra) Pan and Kwang-Ting Cheng and John Moondanos and Ziyad Hanna},
year = {2006},
doi = {10.1145/1118299.1118307},
url = {http://doi.acm.org/10.1145/1118299.1118307},
researchr = {https://researchr.org/publication/PanCMH06},
cites = {0},
citedby = {0},
pages = {25-29},
booktitle = {Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006},
editor = {Fumiyasu Hirose},
publisher = {IEEE},
isbn = {0-7803-9451-8},
}