5. CPAIOR 2008:
Paris,
France
Laurent Perron, Michael A. Trick (Eds.):
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings.
Lecture Notes in Computer Science 5015 Springer 2008, ISBN 978-3-540-68154-0 BibTeX
Invited Talks
Long Papers
- Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter:
Constraint Integer Programming: A New Approach to Integrate CP and MIP.
6-20
Electronic Edition (link) BibTeX
- Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder:
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles.
21-35
Electronic Edition (link) BibTeX
- Luca Benini, Michele Lombardi, Marco Mantovani, Michela Milano, Martino Ruggiero:
Multi-stage Benders Decomposition for Optimizing Multicore Architectures.
36-50
Electronic Edition (link) BibTeX
- Hadrien Cambazard, John Horan, Eoin O'Mahony, Barry O'Sullivan:
Fast and Scalable Domino Portrait Generation.
51-65
Electronic Edition (link) BibTeX
- Grégoire Dooms, Pascal Van Hentenryck:
Gap Reduction Techniques for Online Stochastic Project Scheduling.
66-81
Electronic Edition (link) BibTeX
- Alex S. Fukunaga:
Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver.
82-96
Electronic Edition (link) BibTeX
- Birgit Grohe, Dag Wedelin:
Cost Propagation - Numerical Propagation for Optimization Problems.
97-111
Electronic Edition (link) BibTeX
- Ivan Heckman, J. Christopher Beck:
Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs.
112-126
Electronic Edition (link) BibTeX
- Lukas Kroc, Ashish Sabharwal, Bart Selman:
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting.
127-141
Electronic Edition (link) BibTeX
- Daniel H. Leventhal, Meinolf Sellmann:
The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems.
142-157
Electronic Edition (link) BibTeX
- Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen:
A Novel Approach For Detecting Symmetries in CSP Models.
158-172
Electronic Edition (link) BibTeX
- Luc Mercier, Pascal Van Hentenryck:
Amsaa: A Multistep Anticipatory Algorithm for Online Stochastic Combinatorial Optimization.
173-187
Electronic Edition (link) BibTeX
- Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimal Deployment of Eventually-Serializable Data Services.
188-202
Electronic Edition (link) BibTeX
- Gilles Pesant, Claude-Guy Quimper:
Counting Solutions of Knapsack Constraints.
203-217
Electronic Edition (link) BibTeX
- Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand:
From High-Level Model to Branch-and-Price Solution in G12.
218-232
Electronic Edition (link) BibTeX
- Jean-Charles Régin:
Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint.
233-247
Electronic Edition (link) BibTeX
- Tino Teige, Martin Fränzle:
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.
248-262
Electronic Edition (link) BibTeX
- Jean-Paul Watson, J. Christopher Beck:
A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem.
263-277
Electronic Edition (link) BibTeX
Short Papers
- Tobias Achterberg, Stefan Heinz, Thorsten Koch:
Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.
278-282
Electronic Edition (link) BibTeX
- Doug Altner, Özlem Ergun:
Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts.
283-287
Electronic Edition (link) BibTeX
- Ada Barlatt, Amy M. Cohn, Oleg Yu. Gusikhin:
A Hybrid Approach for Solving Shift-Selection and Task-Sequencing Problems.
288-292
Electronic Edition (link) BibTeX
- Nizar El Hachemi, Michel Gendreau, Louis-Martin Rousseau:
Solving a Log-Truck Scheduling Problem with Constraint Programming.
293-297
Electronic Edition (link) BibTeX
- Philippe Galinier, Alain Hertz, Sandrine Paroz, Gilles Pesant:
Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints.
298-302
Electronic Edition (link) BibTeX
- Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal:
Connections in Networks: A Hybrid Approach.
303-307
Electronic Edition (link) BibTeX
- Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira:
Efficient Haplotype Inference with Combined CP and OR Techniques.
308-312
Electronic Edition (link) BibTeX
- Boris Gutkovich:
Integration of CP and Compilation Techniques for Instruction Sequence Test Generation.
313-317
Electronic Edition (link) BibTeX
- Tarik Hadzic, John N. Hooker, Peter Tiedemann:
Propagating Separable Equalities in an MDD Store.
318-322
Electronic Edition (link) BibTeX
- George Katsirelos, Nina Narodytska, Toby Walsh:
The Weighted CfgConstraint.
323-327
Electronic Edition (link) BibTeX
- Madjid Khichane, Patrick Albert, Christine Solnon:
CP with ACO.
328-332
Electronic Edition (link) BibTeX
- Hoong Chuin Lau, Kong Wei Lye, Viet Bang Nguyen:
A Combinatorial Auction Framework for Solving Decentralized Scheduling Problems (Extended Abstract).
333-337
Electronic Edition (link) BibTeX
- Paul Maier, Martin Sachenbacher:
Constraint Optimization and Abstraction for Embedded Intelligent Systems.
338-342
Electronic Edition (link) BibTeX
- Mahdi Namazifar, Andrew J. Miller:
A Parallel Macro Partitioning Framework for Solving Mixed Integer Programs.
343-348
Electronic Edition (link) BibTeX
- Yehuda Naveh:
Guiding Stochastic Search by Dynamic Learning of the Problem Topography.
349-354
Electronic Edition (link) BibTeX
- Angelo Oddi, Amedeo Cesta, Nicola Policella, Stephen F. Smith:
Hybrid Variants for Iterative Flattening Search.
355-360
Electronic Edition (link) BibTeX
- Thierry Petit, Emmanuel Poder:
Global Propagation of Practicability Constraints.
361-366
Electronic Edition (link) BibTeX
- Meinolf Sellmann:
The Polytope of Tree-Structured Binary Constraint Satisfaction Problems.
367-371
Electronic Edition (link) BibTeX
- Charlotte Truchet, Marc Christie, Jean-Marie Normand:
A Tabu Search Method for Interval Constraints.
372-376
Electronic Edition (link) BibTeX
- Pascal Van Hentenryck, Laurent Michel:
The Steel Mill Slab Design Problem Revisited.
377-381
Electronic Edition (link) BibTeX
- Willem Jan van Hoeve, Ashish Sabharwal:
Filtering Atmost1 on Pairs of Set Variables.
382-386
Electronic Edition (link) BibTeX
Extended Abstract
Copyright © Sat May 16 23:03:44 2009
by Michael Ley (ley@uni-trier.de)
