Yibin Chen, Sean Safarpour, Andreas G. Veneris, João P. Marques Silva. Spatial and temporal design debug using partial MaxSAT. In Fabrizio Lombardi, Sanjukta Bhanja, Yehia Massoud, R. Iris Bahar, editors, Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009. pages 345-350, ACM, 2009. [doi]
Abstract is missing.