732 search results - page 34 / 147 » Termination of Integer Linear Programs |
COR
2011
13 years 2 months ago
2011
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods f...
MANSCI
2008
13 years 7 months ago
2008
We study an iterative cutting-plane algorithm on an integer program, for minimizing the staffing costs of a multiskill call center subject to service-level requirements which are e...
ORL
2010
13 years 6 months ago
2010
We use linear programming to provide a sensitivity analysis of Eisenberg and Noe’s one-period model of contagion via direct bilateral links. We provide a formula for the sensiti...
DISOPT
2008
13 years 8 months ago
2008
Given a mixed-integer linear programming (MILP) model and an optimal basis of the associated linear programming relaxation, the Gomory's corner relaxation is obtained by drop...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...