Efficient Generation of Test Patterns Using Boolean Satisfiability
Larrabee, Tracy
WRL-90-2 Feb 1990 External
65 Pages
Back to Index