Test pattern generation using Boolean satisfiability (1992)

by Tracy Larrabee
Venue:IEEE Transactions on Computer-Aided Design