Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / edited by Roman Barták, Michela Milano.

Format:

Book

Contributor:

Barták, Roman, editor.

Milano, Michela, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 3524.

Theoretical Computer Science and General Issues ; 3524

Language:

English

Subjects (All):

Artificial intelligence.

Numerical analysis.

Computer science--Mathematics.

Computer science.

Computer networks.

Application software.

Artificial Intelligence.

Numeric Computing.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Computer Appl. in Administrative Data Processing.

Local Subjects:

Artificial Intelligence.

Numeric Computing.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Computer Appl. in Administrative Data Processing.

Physical Description:

1 online resource (XII, 412 pages).

Edition:

First edition 2005.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

System Details:

text file PDF

Summary:

The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2005)washeldinPrague,CzechRepublic,duringMay31-June1,2005. The conference is intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti?cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community. The invited speakers were: Filippo Focacci from ILOGS.A.,France,oneoftheleadingcompaniesinthe?eld;PaulPop,professor in the Embedded Systems Lab in the Computer and Information Science - partment, Link ̈ oping University; and Paul Williams, full professor of Operations Research at the London School of Economics. The day before CPAIOR, a Master Class was organized by Gilles Pesant, where leading researchers gave introductory and overview talks in the area of metaheuristics and constraint programming. The Master Class was intended for PhD students, researchers, and practitioners. We are very grateful to Gilles who brought this excellent program together. For conference publicity we warmly thank Willem Jan van Hoeve and Petr Vil ́ ?m who did a great job with the high number of submissions received.

Contents:

Invited Papers

Integration of Rules and Optimization in Plant PowerOps

Embedded Systems Design: Optimization Challenges

Models for Solving the Travelling Salesman Problem

Technical Papers

Set Variables and Local Search

The Temporal Knapsack Problem and Its Solution

Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles

The tree Constraint

Filtering Algorithms for the NValue Constraint

Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming

A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems

On the Minimal Steiner Tree Subproblem and Its Application in Branch-and-Price

Constraint Programming Based Column Generation for Employee Timetabling

Scheduling Social Golfers Locally

Multiconsistency and Robustness with Global Constraints

Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations

Shorter Path Constraints for the Resource Constrained Shortest Path Problem

Improving the Cooperation Between the Master Problem and the Subproblem in Constraint Programming Based Column Generation

Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price

A Search-Infer-and-Relax Framework for Integrating Solution Methods

Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs

Symmetry Breaking and Local Search Spaces

Combination of Among and Cardinality Constraints

On the Tractability of Smooth Constraint Satisfaction Problems

A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems

Symmetry and Search in a Network Design Problem

Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems

Formulations and Reformulations in Integer Programming

Nondeterministic Control for Hybrid Search

Computing Explanations for the Unary Resource Constraint.

Other Format:

Printed edition:

ISBN:

978-3-540-32264-1

9783540322641

Access Restriction:

Restricted for use by site license.