Sean Safarpour Hratch Mangassarian Andreas G. Veneris Mark H. Liffiton Karem A. Sakallah Improved Design Debugging Using Maximum Satisfiability. 13-19 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.28 db/conf/fmcad/fmcad2007.html#SafarpourMVLS07