Supported by the National Grand Fundamental Research 973 Program of China under Grant No.G1998030600 (国家重点基础研究发展规划(973)); the Youth Foundation of Tianyuan Mathematics of China under Grant No.10226006 (数学天元青年基金); the President Foundation of the Chinese Aca
蒋鲲,高小山,岳晶岩.参数化模型欠、过和完整约束的判定算法.软件学报,2003,14(12):2092-2097
复制