共 6 条
[2]
MATIYASE.YV, 1970, DOKL AKAD NAUK SSSR+, V191, P279
[3]
MATIYASEVICH YV, 1970, SOV MATH DOKL, V11, P354
[5]
Rogers Jr. H., 1967, MCGRAW HILL SERIES H
[6]
AN ALL-INTEGER PROGRAMMING ALGORITHM WITH PARABOLIC CONSTRAINTS
[J].
JOURNAL OF THE SOCIETY FOR INDUSTRIAL AND APPLIED MATHEMATICS,
1963, 11 (04)
:855-871