![Effiziente Erfüllbarkeitsalgorithmen für die Generierung von TestmusternEfficient Satisfiability Solving Algorithms for Test Pattern Generation]()
Effiziente Erfüllbarkeitsalgorithmen für die Generierung von TestmusternEfficient Satisfiability Solving Algorithms for Test Pattern GenerationDrechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Schlöffel, Jürgen; Tille, Daniel · it - Information Technology · 2009