共 18 条
[1]
Aho A. V., 1974, The Design and Analysis of Computer Algorithms
[2]
Akritas A. G., 1989, ELEMENTS COMPUTER AL
[5]
[Anonymous], 1998, Theory of Linear and Integer Programming
[6]
Cenzer D, 1998, STUD LOGIC, V138, P381
[7]
Cohen H., 1993, GRAD TEXTS MATH, V138
[8]
Collins G. E., 1982, Computing (Supplementum), P83
[9]
Collins G. E., 1998, LNCS, P85, DOI [DOI 10.1007/3-540-07407-4_17, 10.1007/978-3-7091-9459-1_4]