Combinational Test Generation Using Satisfiability (1996)

by P R Stephan, R K Brayton, A L Sangiovanni-Vincentelli
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits