共 9 条
[1]
BARR A, 1983, HDB ARTIFICIAL INTEL, V3, pCH7
[3]
COOK SA, 1974, ACM SIGACT NEWS, V6, P15
[5]
Galil Z., 1977, Theoretical Computer Science, V4, P23, DOI 10.1016/0304-3975(77)90054-8
[6]
Garey Michael R., 1979, COMPUTERS INTRACTABI
[9]
Tseytin G. S., 1970, STUDIES CONSTRUCTI 2, P115