共 44 条
[1]
AUTOMATIC TEST PATTERN GENERATION ON PARALLEL PROCESSORS
[J].
PARALLEL COMPUTING,
1991, 17 (12)
:1323-1342
[2]
ARVINDAM S, 1989, 1989 P INT C COMP DE
[3]
ARVINDAM S, 1990, OCT P FRONT 90 C MAS
[4]
Charniak E., 1985, INTRO ARTIFICIAL INT
[5]
DAVIS M, 1962, COMMUN ACM, V5, P7
[6]
FERGUSON C, 1988, 1988 P NAT C ART INT
[7]
DIB - A DISTRIBUTED IMPLEMENTATION OF BACKTRACKING
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1987, 9 (02)
:235-256
[8]
FRYE R, 1990, EXHAUSTICVE SEARCH U
[9]
Furuichi M., 1990, 2ND P ACM SIGPLAN S, P50
[10]
GOTTLIEB A, 1983, IEEE T COMPUT, V32, P175, DOI 10.1109/TC.1983.1676201