Login / Signup

Improved Design Debugging Using Maximum Satisfiability.

Sean SafarpourHratch MangassarianAndreas G. VenerisMark H. LiffitonKarem A. Sakallah
Published in: FMCAD (2007)
Keyphrases
  • search space
  • maximum satisfiability