Test Pattern Generation Using Boolean Satisfiability,” (1992)

by T Larrabee
Venue:IEEE Trans. on Computer-Aided Design,