Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik. Post-silicon fault localisation using maximum satisfiability and backbones. In Per Bjesse, Anna Slobodová, editors, International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. pages 63-66, FMCAD Inc., 2011. [doi]
@inproceedings{ZhuWM11, title = {Post-silicon fault localisation using maximum satisfiability and backbones}, author = {Charlie Shucheng Zhu and Georg Weissenbacher and Sharad Malik}, year = {2011}, url = {http://dl.acm.org/citation.cfm?id=2157667}, researchr = {https://researchr.org/publication/ZhuWM11}, cites = {0}, citedby = {0}, pages = {63-66}, booktitle = {International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011}, editor = {Per Bjesse and Anna Slobodová}, publisher = {FMCAD Inc.}, isbn = {978-0-9835678-1-3}, }