Efficient SAT Algorithms for the Generation of Test Patterns

In the project it is studied how SAT algorithms can be used in automatic test pattern generation.

Contact: Prof. Dr. Rolf Drechsler

Detailled description is only available in german.