共 42 条
[1]
AGARWAL PK, 1993, P 9 ANN ACM S COMP G, P338
[2]
Aho A.V., 1974, The Design and Analysis of Computer Algorithms
[3]
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theoryof NP-Completeness
[4]
Benzaken C., 1983, C NUMER, V39, P123
[5]
BENZAKEN CI, 1983, INT SER NUMER MATH, V39, P123
[6]
BERMOND JC, 1978, 10 U PAR SUD CTR ORS
[7]
Blake A., 1937, Ph.D. dissertation
[8]
Boros E., 1990, Annals of Mathematics and Artificial Intelligence, V1, P21
[10]
Chang C. L., 1973, Symbolic Logic and Mechanical Theorem Proving, DOI DOI 10.1137/1016071