Indexed by：
Abstract：
应用来自Weispfenning的关于线性以及二次线性优化的量词消去方法和Shostak解Presburger公式的SUP-INF方法,研究了带有参数的二次目标函数的线性优化,给出了一种具有参数的二次目标函数的整线性优化的量词消去方法. 分析表明,所用方法具有几乎最优的复杂性.
Keyword：
Reprint Author's Address：
Email：
Source ：
北京工业大学学报
ISSN： 0254-0037
Year： 2002
Issue： 1
Volume： 28
Page： 97-99,106
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 1
Affiliated Colleges：
