Effiziente Erfüllbarkeitsalgorithmen für die Generierung von TestmusternEfficient Satisfiability Solving Algorithms for Test Pattern Generation
Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Schlöffel, Jürgen; Tille, Daniel
- 期刊名称it - Information Technology
- 作者Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Schlöffel, Jürgen; Tille, Daniel
- 卷第51卷
- 期第2期
- 印刷ISSN1611-2776
- 文件大小317.13KB
- 发表时间2009-01
- DOI10.1524/itit.2009.0529