Publikation

An effective fault ordering heuristic for SAT-based dynamic test compaction techniques

Stephan Eggersglüß, Rolf Drechsler

In: IT - information technology (IT) 56 4 Seiten 157-164 Springer 2014.

Abstrakt

o.A.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence