Accurate X-Propagation for Test Applications by SAT-Based Reasoning

Michael A. Kochte, Melanie Elm, Hans-Joachim Wunderlich. Accurate X-Propagation for Test Applications by SAT-Based Reasoning. IEEE Trans. on CAD of Integrated Circuits and Systems, 31(12):1908-1919, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.