Sciweavers

14739 search results - page 58 / 2948
» An optimization problem on the sphere
Sort
View
OR
2010
Springer
14 years 11 months ago
A new multi-objective optimization formulation for rail-car fleet sizing problems
Abstract With potential application to a variety of industries, fleet sizing problems present a prevalent and significant challenge for engineers and managers. This is especially t...
Hamid Reza Sayarshad, Timothy Marler
ACID
2006
264views Algorithms» more  ACID 2006»
15 years 5 months ago
A Parameterized View on Matroid Optimization Problems
Matroid theory gives us powerful techniques for understanding combinatorial optimization problems and for designing polynomial-time algorithms. However, several natural matroid pr...
Dániel Marx
CORR
2010
Springer
85views Education» more  CORR 2010»
15 years 4 months ago
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the M...
Nuno P. Lopes, Levent Aksoy, Vasco M. Manquinho, J...
CSL
2010
Springer
15 years 5 months ago
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
Yijia Chen, Jörg Flum
PROCEDIA
2010
173views more  PROCEDIA 2010»
15 years 2 months ago
Combination of an adaptive multilevel SQP method and a space-time adaptive PDAE solver for optimal control problems
We present an adaptive multilevel generalized SQP method to solve PDAE-constrained optimization problems. It explicitly allows the use of independent integration schemes such that...
Debora Clever, Jens Lang, Stefan Ulbrich, J. Carst...