This book constitutes the refereed proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2010, held in Bologna, Italy, in June 2010. The 18 revised full papers and 17 revised short papers presented together with the extended abstracts of 3 invited talks were carefully reviewed and selected from 72 submissions. The papers are focused on both theoretical and practical, application-oriented issues and present current research with a special focus on the integration and hybridization of the approaches of constraint programming, artificial intelligence, and operations research technologies for solving large scale and complex real life combinatorial optimization problems.

lgrsnf/lncs1-ready\Lodi A., Milano M., Toth P. (eds.) Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Springer, 2010)(ISBN 3642135196)(O)(380s).pdf

nexusstc/Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings/fb8d0393aa18ffe9234073843cbed6b9.pdf

scihub/10.1007/978-3-642-13520-0.pdf

zlib/no-category/Matteo Fischetti (auth.), Andrea Lodi, Michela Milano, Paolo Toth (eds.)/Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings_2071122.pdf

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 7th International Conference, CPAIOR 2010, ... (Lecture Notes in Computer Science (6140))

Integration of artificial intelligence and operation research techniques in constraint programming for combinatorial optimization problems

Andrea Lodi; Michela @Milano; Paolo Toth; International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (7th 2010 Bologna, Italy)

Spektrum Akademischer Verlag. in Springer-Verlag GmbH

Steinkopff. in Springer-Verlag GmbH

Springer London, Limited

Lecture notes in computer science -- 6140, LNCS sublibrary: SL 1-theoretical computer science and general issues, Berlin, New York, Germany, 2010

Lecture Notes in Computer Science, 6140, Berlin, Heidelberg, 2010

Springer Nature, Berlin, Heidelberg, 2010

2010, 2010-06-01

Germany, Germany

sm21659408

{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3642135196","364213520X","9783642135194","9783642135200"],"issns":["0302-9743","1611-3349"],"last_page":369,"publisher":"Springer","series":"Lecture Notes in Computer Science 6140 : Theoretical Computer Science and General Issues"}

Includes bibliographical references and index.
Also issued online.

Front Matter....Pages -
Towards a MIP-Cut Metascheme....Pages 1-2
Challenges for CPAIOR in Computational Sustainability....Pages 3-4
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving....Pages 5-9
On Matrices, Automata, and Double Counting....Pages 10-24
The Increasing Nvalue Constraint....Pages 25-39
Improving the Held and Karp Approach with Constraint Programming....Pages 40-44
Characterization and Automation of Matching-Based Neighborhoods....Pages 45-50
Rapid Learning for Binary Programs....Pages 51-55
Hybrid Methods for the Multileaf Collimator Sequencing Problem....Pages 56-70
Automatically Exploiting Subproblem Equivalence in Constraint Programming....Pages 71-86
Single-Facility Scheduling over Long Time Horizons by Logic-Based Benders Decomposition....Pages 87-91
Integrated Maintenance Scheduling for Semiconductor Manufacturing....Pages 92-96
A Constraint Programming Approach for the Service Consolidation Problem....Pages 97-101
Solving Connected Subgraph Problems in Wildlife Conservation....Pages 102-116
Consistency Check for the Bin Packing Constraint Revisited....Pages 117-122
A Relax-and-Cut Framework for Gomory’s Mixed-Integer Cuts....Pages 123-135
An In-Out Approach to Disjunctive Optimization....Pages 136-140
A SAT Encoding for Multi-dimensional Packing Problems....Pages 141-146
Job Shop Scheduling with Setup Times and Maximal Time-Lags: A Simple Constraint Programming Approach....Pages 147-161
On the Design of the Next Generation Access Networks....Pages 162-175
Vehicle Routing for Food Rescue Programs: A Comparison of Different Approaches....Pages 176-180
Constraint Programming and Combinatorial Optimisation in Numberjack....Pages 181-185
Automated Configuration of Mixed Integer Programming Solvers....Pages 186-202
Upper Bounds on the Number of Solutions of Binary Integer Programs....Pages 203-218
Matrix Interdiction Problem....Pages 219-231
Strong Combination of Ant Colony Optimization with Constraint Programming Optimization....Pages 232-245
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios....Pages 246-251
Constraint Programming with Arbitrarily Large Integer Variables....Pages 252-266
Constraint-Based Local Search for Constrained Optimum Paths Problems....Pages 267-281
Stochastic Constraint Programming by Neuroevolution with Filtering....Pages 282-286
The Weighted Spanning Tree Constraint Revisited....Pages 287-291
Constraint Reasoning with Uncertain Data Using CDF-Intervals....Pages 292-306
Revisiting the Soft Global Cardinality Constraint....Pages 307-312
A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling....Pages 313-317
Strategic Planning for Disaster Recovery with Stochastic Last Mile Distribution....Pages 318-333
Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results....Pages 334-338
Boosting Set Constraint Propagation for Network Design....Pages 339-353
More Robust Counting-Based Search Heuristics with Alldifferent Constraints....Pages 354-368
Back Matter....Pages -

Keine Beschreibung vorhanden.
Erscheinungsdatum: 01.06.2010

2013-04-24