Combinational Test Generation Using Satisfiability," Memorandum no (1992)

by P R Stephan, R K Brayton, A L Sangiovanni-Vincentelli