Sciweavers

CPAIOR
2010
Springer
13 years 9 months ago
Improving the Held and Karp Approach with Constraint Programming
Pascal Benchimol, Jean-Charles Régin, Louis...
CPAIOR
2010
Springer
13 years 9 months ago
Constraint Reasoning with Uncertain Data Using CDF-Intervals
Interval coefficients have been introduced in OR and CP to specify uncertain data in order to provide reliable solutions to convex models. The output is generally a solution set, ...
Aya Saad, Carmen Gervet, Slim Abdennadher
CPAIOR
2010
Springer
13 years 9 months ago
Integrated Maintenance Scheduling for Semiconductor Manufacturing
We present a maintenance scheduling problem arising from semi-conductor manufacturing which is characterized by low resource contention and multiple complex objectives and prefere...
Andrew J. Davenport
CPAIOR
2010
Springer
13 years 9 months ago
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...
Elvin Coban, John N. Hooker
CPAIOR
2010
Springer
13 years 9 months ago
Solving Connected Subgraph Problems in Wildlife Conservation
Abstract. We investigate mathematical formulations and solution techniques for a variant of the Connected Subgraph Problem. Given a connected graph with costs and profits associat...
Bistra N. Dilkina, Carla P. Gomes