Sciweavers

2976 search results - page 117 / 596
» On the bounded integer programming
Sort
View
ORL
2011
14 years 7 months ago
Solving large Steiner Triple Covering Problems
Computing the 1-width of the incidence matrix of a Steiner Triple System gives rise to small set covering instances that provide a computational challenge for integer programming ...
James Ostrowski, Jeff Linderoth, Fabrizio Rossi, S...
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 21 days ago
Bounds for binary codes relative to pseudo-distances of k points
We apply Schrijver's semidefinite programming method to obtain improved upper bounds on generalized distances and list decoding radii of binary codes.
Christine Bachoc, Gilles Zémor
109
Voted
ICALP
1992
Springer
15 years 4 months ago
What Good Are Digital Clocks?
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
104
Voted
MP
2006
100views more  MP 2006»
15 years 16 days ago
A branch-and-cut algorithm for the stochastic uncapacitated lot-sizing problem
This paper addresses a multi-stage stochastic integer programming formulation of the uncapacitated lot-sizing problem under uncertainty. We show that the classical ( , S) inequalit...
Yongpei Guan, Shabbir Ahmed, George L. Nemhauser, ...
78
Voted
ICALP
1999
Springer
15 years 4 months ago
New Upper Bounds for MaxSat
We describe exact algorithms that provide new upper bounds for the Maximum Satisfiability problem (MaxSat). We prove
Rolf Niedermeier, Peter Rossmanith