10.3969/j.issn.0254-0037.2002.01.023
二次参数实整混合线性优化的量词消去法
应用来自Weispfenning的关于线性以及二次线性优化的量词消去方法和Shostak解Presburger公式的SUP-INF方法,研究了带有参数的二次目标函数的线性优化,给出了一种具有参数的二次目标函数的整线性优化的量词消去方法. 分析表明,所用方法具有几乎最优的复杂性.
量词消去、二次线性优化、整数优化、计算复杂性
28
TP18
2004-03-12(万方平台首次上网日期,不代表论文的发表时间)
共4页
97-99,106