HAIS
2010
Springer
13 years 10 months ago
2010
Springer
HAIS
2010
Springer
13 years 10 months ago
2010
Springer
EVOW
2010
Springer
13 years 10 months ago
2010
Springer
Background: Identifying approximately repeated patterns, or motifs, in DNA sequences from a set of co-regulated genes is an important step towards deciphering the complex gene reg...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
The stable marriage problem (SM) has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more general...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
A soft global constraint SOFTPREC has been proposed recently for solving optimisation problems involving precedence relations. In this paper we present new pruning rules for this g...
CP
2010
Springer
13 years 10 months ago
2010
Springer
This paper studies the use of decomposition techniques to quickly find high-quality solutions to large-scale vehicle routing problems with time windows. It considers an adaptive d...
CP
2010
Springer
13 years 10 months ago
2010
Springer
The state-of-the-art global constraint for bin packing is due to Shaw. We compare two linear continuous relaxations of the bin packing problem, based on the DP-flow and Arc-flow ...
CP
2010
Springer
13 years 10 months ago
2010
Springer
We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and conflict driven clause learning. W...
CP
2010
Springer
13 years 10 months ago
2010
Springer
