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

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

[IEEE 2007 IFIP International Conference on Very Large Scale Integration - Atlanta, GA, USA (2007.10.15-2007.10.17)] 2007 IFIP International Conference on Very Large Scale Integration - SWORD: A SAT like prover using word level information

[IEEE 2007 IFIP International Conference on Very Large Scale Integration - Atlanta, GA, USA (2007.10.15-2007.10.17)] 2007 IFIP International Conference on Very Large Scale Integration - SWORD: A SAT like prover using word level information

Wille, Robert; Fey, Gorschwin; Grobe, Daniel; Eggersgluss, Stephan; Drechsler, Rolf
  • 作者Wille, Robert; Fey, Gorschwin; Grobe, Daniel; Eggersgluss, Stephan; Drechsler, Rolf
  • 文件大小113.76KB
  • 发表时间2007
  • DOI10.1109/VLSISOC.2007.4402478
  • 页码88-93
← 返回【学霸图书馆】主页