CPAIOR 2008 | Sciweavers

34

CPAIOR
2008
Springer

111views Operations Research» more CPAIOR 2008»

Efficient Haplotype Inference with Combined CP and OR Techniques

14 years 1 months ago

Abstract. Haplotype inference has relevant biological applications, and represents a challenging computational problem. Among others, pure parsimony provides a viable modeling appr...

Ana Graça, João Marques-Silva, In&ec...

claim paper

Read More »

26

click to vote

CPAIOR
2008
Springer

90views Operations Research» more CPAIOR 2008»

Counting Solutions of Integer Programs Using Unrestricted Subtree Detection

14 years 1 months ago

Download www.zib.de

Tobias Achterberg, Stefan Heinz, Thorsten Koch

claim paper

Read More »

38

click to vote

CPAIOR
2008
Springer

80views Operations Research» more CPAIOR 2008»

A Novel Approach For Detecting Symmetries in CSP Models

14 years 1 months ago

Download www.csse.monash.edu.au

Abstract. While several powerful methods exist for automatically detecting symmetries in instances of constraint satisfaction problems (CSPs), current methods for detecting symmetr...

Christopher Mears, Maria J. García de la Ba...

claim paper

Read More »

30

click to vote

CPAIOR
2008
Springer

109views Operations Research» more CPAIOR 2008»

Propagating Separable Equalities in an MDD Store

14 years 1 months ago

Download wpweb2.tepper.cmu.edu

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...

Tarik Hadzic, John N. Hooker, Peter Tiedemann

claim paper

Read More »

29

click to vote

CPAIOR
2008
Springer

119views Operations Research» more CPAIOR 2008»

Constraint Integer Programming: A New Approach to Integrate CP and MIP

14 years 1 months ago

Download opus.kobv.de

Tobias Achterberg, Timo Berthold, Thorsten Koch, K...

claim paper

Read More »

39

click to vote

CPAIOR
2008
Springer

116views Operations Research» more CPAIOR 2008»

Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs

14 years 1 months ago

Download tidel.mie.utoronto.ca

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 ...

Ivan Heckman, J. Christopher Beck

claim paper

Read More »

20

click to vote

CPAIOR
2008
Springer

109views Operations Research» more CPAIOR 2008»

Multi-stage Benders Decomposition for Optimizing Multicore Architectures

14 years 1 months ago

Download contraintes.inria.fr

Luca Benini, Michele Lombardi, Marco Mantovani, Mi...

claim paper

Read More »

38

click to vote

CPAIOR
2008
Springer

107views Operations Research» more CPAIOR 2008»

Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver

14 years 1 months ago

Download metahack.org

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...

Alex S. Fukunaga

claim paper

Read More »

22

click to vote

CPAIOR
2008
Springer

100views Operations Research» more CPAIOR 2008»

Filtering Atmost1 on Pairs of Set Variables

14 years 1 months ago

Download www.andrew.cmu.edu

Willem Jan van Hoeve, Ashish Sabharwal

claim paper