Combinational test generation using satisfiability (1996)

by P Stephan, R Brayton, A Sangiovanni-Vincentelli
Venue:IEEE Trans. CAD of Integrated Circuits and Systems