Techniques for SAT-based Constrained Test Pattern Generation (2013)

by J Balcárek, P Fišer, J Schmidt
Venue:in Microprocessors and Microsystems