André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler. Using unsatisfiable cores to debug multiple design errors. In Vijay Narayanan, Zhiyuan Yan, Enrico Macii, Sanjukta Bhanja, editors, Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008. pages 77-82, ACM, 2008. [doi]
Abstract is missing.