Sciweavers

9626 search results - page 429 / 1926
» Invariant Based Programming
Sort
View
COR
2008
133views more  COR 2008»
15 years 6 months ago
A new constraint programming approach for the orthogonal packing problem
The two-dimensional orthogonal packing problem (2OPP) consists in determining if a set of rectangles can be packed in a larger rectangle of fixed size. We propose an exact method ...
François Clautiaux, Antoine Jouglet, Jacque...
150
Voted
INFORMS
2010
100views more  INFORMS 2010»
15 years 4 months ago
Two-Step MIR Inequalities for Mixed Integer Programs
Two-step MIR inequalities are valid inequalities derived from a facet of a simple mixedinteger set with three variables and one constraint. In this paper we investigate how to eff...
Sanjeeb Dash, Marcos Goycoolea, Oktay Günl&uu...
JGO
2011
149views more  JGO 2011»
15 years 1 months ago
A logarithmic-quadratic proximal point scalarization method for multiobjective programming
We present a proximal point method to solve multiobjective problems based on the scalarization for maps. We build a family of a convex scalar strict representation of a convex map...
Ronaldo Gregório, Paulo Roberto Oliveira
ICASSP
2011
IEEE
14 years 10 months ago
Robust SINR-constrained MISO downlink beamforming: When is semidefinite programming relaxation tight?
We consider the robust beamforming problem under imperfect channel state information (CSI) subject to SINR constraints in a downlink multiuser MISO system. One popular approach to...
Enbin Song, Qingjiang Shi, Maziar Sanjabi, Ruoyu S...
DAM
2008
111views more  DAM 2008»
15 years 6 months ago
Sums of squares based approximation algorithms for MAX-SAT
We investigate the Semidefinite Programming based Sums of squares (SOS) decomposition method, designed for global optimization of polynomials, in the context of the (Maximum) Sati...
Hans van Maaren, Linda van Norden, M. J. H. Heule