共 47 条
[1]
AKERS SB, 1978, IEEE T COMPUT, V27, P509, DOI 10.1109/TC.1978.1675141
[3]
Barlow R. E., 1978, Mathematics of Operations Research, V3, P275, DOI 10.1287/moor.3.4.275
[4]
Boute R. T., 1976, EUROMICRO Newsletter, V1, P16
[5]
Brace K.S., 1990, DAC, P40
[6]
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
[7]
Burch J.R., 1990, P 5 ANN IEEE S LOGIC, P1

