%0 Journal Article %T 二次参数实整混合线性优化的量词消去法 %J 北京工业大学学报 %D 2002 %X 应用来自Weispfenning的关于线性以及二次线性优化的量词消去方法和Shostak解Presburger公式的SUP-INF方法,研究了带有参数的二次目标函数的线性优化,给出了一种具有参数的二次目标函数的整线性优化的量词消去方法.分析表明,所用方法具有几乎最优的复杂性. %K 量词消去 %K 二次线性优化 %K 整数优化 %K 计算复杂性 %U http://www.bjgd.cbpt.cnki.net/WKA/WebPublication/paperDigest.aspx?paperID=692A8354-9E13-428D-9B0B-4199B921C29F