Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques.

Stephan Eggersgl, Rolf Drechsler

Browse the full ETS paper archive.