CPAIOR 2010 - PDF Preprint Papers

CPAIOR 2010 Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CPAIOR-2010 Paper

click to vote

CPAIOR
2010
Springer

198views Operations Research» more CPAIOR 2010»

Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition

14 years 4 months ago

Download ba.gsia.cmu.edu

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

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	198	Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition	claim
2	179	Upper Bounds on the Number of Solutions of Binary Integer Programs	claim
3	172	Solving Connected Subgraph Problems in Wildlife Conservation	claim
4	169	Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving	claim
5	165	Constraint-Based Local Search for Constrained Optimum Paths Problems	claim
6	164	Consistency Check for the Bin Packing Constraint Revisited	claim
7	159	A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling	claim
8	158	Improving the Held and Karp Approach with Constraint Programming	claim
9	158	Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches	claim
10	156	The Increasing Nvalue Constraint	claim
11	155	Automatically Exploiting Subproblem Equivalence in Constraint Programming	claim
12	152	Constraint Reasoning with Uncertain Data Using CDF-Intervals	claim
13	145	A Relax-and-Cut Framework for Gomory's Mixed-Integer Cuts	claim
14	143	Automated Configuration of Mixed Integer Programming Solvers	claim
15	143	Constraint Programming and Combinatorial Optimisation in Numberjack	claim
16	141	Strong Combination of Ant Colony Optimization with Constraint Programming Optimization	claim
17	138	An In-Out Approach to Disjunctive Optimization	claim
18	137	Boosting Set Constraint Propagation for Network Design	claim
19	135	The Weighted Spanning Tree Constraint Revisited	claim
20	130	Hybrid Methods for the Multileaf Collimator Sequencing Problem	claim
21	127	A Constraint Programming Approach for the Service Consolidation Problem	claim
22	123	Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution	claim
23	122	Integrated Maintenance Scheduling for Semiconductor Manufacturing	claim
24	105	Rapid Learning for Binary Programs	claim
25	101	On Matrices, Automata, and Double Counting	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers