Improved Design Debugging Using Maximum Satisfiability.

Sean Safarpour, Hratch Mangassarian, Andreas G. Veneris, Mark H. Liffiton, Karem A. Sakallah

Browse the full FMCAD paper archive.