Login / Signup
Improved Design Debugging Using Maximum Satisfiability.
Sean Safarpour
Hratch Mangassarian
Andreas G. Veneris
Mark H. Liffiton
Karem A. Sakallah
Published in:
FMCAD (2007)
Keyphrases
</>
search space
maximum satisfiability