发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Path directed abstraction and refinement in SAT-based design debugging

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Path directed abstraction and refinement in SAT-based design debugging

Keng, Brian; Veneris, Andreas
  • 作者Keng, Brian; Veneris, Andreas
  • 文件大小670.53KB
  • 发表时间2012
  • DOI10.1145/2228360.2228530
← 返回【学霸图书馆】主页