Certifying feasibility and objective value of linear programs
Certifying feasibility and objective value of linear programs
复制标题
验证线性程序的可行性和目标价值
DOI：
10.1016/j.orl.2012.03.004
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Daniel Dumitriu
中科院分区：
文献类型：
--
作者：
Ernst Althaus;Daniel Dumitriu
登录
查看更多内容
将 LP 求解器集成到区间约束传播中
DOI：
10.1007/978-3-642-22616-8_27
发表时间：
2011
期刊：
--
影响因子：
--
作者：
Ernst Althaus;B. Becker;D. Dumitriu;Stefan Kupferschmid
通讯作者：
Stefan Kupferschmid
DOI：
--
发表时间：
1999
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
S. Dellacherie;Samuel Devulder;J. Lambert
通讯作者：
J. Lambert
线性规划验证（LPV）与其他验证方法的比较研究
DOI：
--
发表时间：
1999
期刊：
14th IEEE International Conference on Automated Software Engineering
影响因子：
--
作者：
Samuel Devulder;J. Lambert
通讯作者：
J. Lambert
Netlib 线性规划库具有严格误差范围的计算经验
影响因子：
--
作者：
C. Keil;C. Jansson
通讯作者：
C. Jansson