Publikation

Improved SAT-based ATPG: More Constraints, Better Compaction

Stephan Eggersglüß, Robert Wille, Rolf Drechsler

In: Proceedings of the 2013 IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-13) November 18-21 San Jose CA United States IEEE 2013.

Abstrakt

nnn

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