Sciweavers

28 search results - page 3 / 6
» Solving Packing Problem with Weaker Block Solvers
Sort
View
CP
2006
Springer
13 years 9 months ago
: A Bottom-Up Approach for Solving Quantified CSPs
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
Guillaume Verger, Christian Bessière
CORR
2010
Springer
60views Education» more  CORR 2010»
13 years 4 months ago
Optimal Partitioned Cyclic Difference Packings for Frequency Hopping and Code Synchronization
— Optimal partitioned cyclic difference packings (PCDPs) are shown to give rise to optimal frequency-hopping sequences and optimal comma-free codes. New constructions for PCDPs, ...
Yeow Meng Chee, Alan C. H. Ling, Jianxing Yin
CORR
2010
Springer
108views Education» more  CORR 2010»
13 years 5 months ago
Constraint solvers: An empirical evaluation of design decisions
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
Lars Kotthoff
WAOA
2005
Springer
177views Algorithms» more  WAOA 2005»
13 years 11 months ago
Approximation and Complexity of k-Splittable Flows
Given a graph with a source and a sink node, the NP–hard maximum k–splittable flow (MkSF) problem is to find a flow of maximum value with a flow decomposition using at most...
Ronald Koch, Martin Skutella, Ines Spenke
ATMOS
2007
119views Optimization» more  ATMOS 2007»
13 years 7 months ago
Models for Railway Track Allocation
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...
Ralf Borndörfer, Thomas Schlechte