搜索页_integer+programs

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(2)	SpringerLink电子期刊(784)	Elsevier电子期刊(454)
Springer电子图书(17)	ProQuest学位论文(41)	ACS电子期刊(19)

在“SpringerLink电子期刊”中，命中：784条，耗时：0.0109947 秒

在所有数据库中总计命中：1,317条

1. The Ancestral Benders’ cutting plane algorithm with multi-term disjunctions for mixed-integer recourse decisions in stochastic programming

作者： Yunwei Qi ; Suvrajeet Sen

关键词：Two ; stage stochastic mixed ; integer programs ; Cutting plane tree algorithm ; Multi ; term disjunctive cut ; Benders’ decomposition

刊名：Mathematical Programming

出版年：2017

2. Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

作者： Thomas Ströder ; Jürgen Giesl ; Marc Brockschmidt…

关键词：LLVMC ; programs ; Termination ; Memory Safety ; Symbolic Execution

刊名：Journal of Automated Reasoning

出版年：2017

3. On Optimization Over the Efficient Set of a Multiple Objective Linear Programming Problem

作者： Erjiang Sun

关键词：Multiple objective linear programming ; Efficient set ; Weakly efficient set ; Global optimization ; Mixed ; integer programming

刊名：Journal of Optimization Theory and Applications

出版年：2017

4. Analyzing Program Termination and Complexity Automatically with AProVE

作者： Jürgen Giesl ; Cornelius Aschermann ; Marc Brockschmidt…

关键词：Termination analysis ; Complexity analysis ; Java ; /C ; /Haskell ; /Prolog ; programs ; Term rewriting

刊名：Journal of Automated Reasoning

出版年：2017

5. On reduced semidefinite programs for second order moment bounds with applications

作者： Karthik Natarajan ; Chung-Piaw Teo

关键词：Moment bounds ; Newsvendor ; Random walk ; Choice model

刊名：Mathematical Programming

出版年：2017

6. A new family of facet defining inequalities for the maximum edge-weighted clique problem

作者： Franklin Djeumou Fomeni

关键词：Edge ; weighted clique problem ; Cutting planes ; Separation algorithm ; Integer programming ; Boolean quadric polytope ; Facet defining inequalities

刊名：Optimization Letters

出版年：2017

7. Nash equilibria in the two-player kidney exchange game

作者： Margarida Carvalho ; Andrea Lodi ; João Pedro Pedroso ; Ana Viana

关键词：Kidney exchange ; Nash equilibrium ; Social welfare ; Matching

刊名：Mathematical Programming

出版年：2017

8. Relaxations and discretizations for the pooling problem

作者： Akshay Gupte ; Shabbir Ahmed ; Santanu S. Dey…

关键词：Pooling problem ; Bilinear program ; Convexification ; Lagrange relaxation ; Discretization

刊名：Journal of Global Optimization

出版年：2017

9. Shared relay assignment in cooperative communications for bandwidth maximization

作者： Hongli Xu ; Chunming Qiao ; Hou Deng ; Nan Lin ; Liusheng Huang

关键词：Shared relay assignment ; Max–min bandwidth ; Max–total bandwidth ; Cooperative communication

刊名：Wireless Networks

出版年：2017

10. An interactive algorithm to find the most preferred solution of multi-objective integer programs

作者： Banu Lokman ; Murat Köksalan ; Pekka J. Korhonen…

关键词：Multi ; objective optimization ; Integer programming ; Linear programming ; Convex cones

刊名：Annals of Operations Research

出版年：2016

按检索点细分(784)

题名(160)

关键词(40)

文摘(667)

按出版年细分(784)

2017年(10)

2016年(52)

2015年(49)

2014年(64)

2013年(64)

2012年(45)

2011年(10)

2010年(42)

2009年(38)

2008年(34)

2007年(74)

2006年(80)

2005年(53)

2004年(29)

2003年(41)

2002年(32)

2001年(28)

2000年(7)

2000年及以前(32)