共 34 条
[2]
BROCKETT RW, 1989, LECT NOTES CONTR INF, V135, P19
[5]
Dastidar TR, 2005, I CONF VLSI DESIGN, P195
[6]
Franzle M., 2007, J. Satisf. Boolean Model. Comput., V1, P209
[7]
Frehse G, 2005, LECT NOTES COMPUT SC, V3414, P258
[8]
Frehse G, 2006, DES AUT TEST EUROPE, P255
[9]
Greenstreet MR, 1998, LECT NOTES COMPUT SC, V1386, P159
[10]
GREENSTREET MR, 1997, P 1997 INT S CIRC SY, V2, P977