CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Haplotype inference has relevant biological applications, and represents a challenging computational problem. Among others, pure parsimony provides a viable modeling appr...
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. While several powerful methods exist for automatically detecting symmetries in instances of constraint satisfaction problems (CSPs), current methods for detecting symmetr...
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The multiple knapsack problem (MKP) is a classical combinatorial optimization problem. A recent algorithm for some classes of the MKP is bin-completion, a bin-oriented, b...
CPAIOR
2008
Springer
13 years 6 months ago
2008
Springer