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 /

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Barták, Roman (Editor), Milano, Michela (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Series:Theoretical Computer Science and General Issues, 3524
Subjects:
Artificial intelligence.
Numerical analysis.
Computer science > Mathematics.
Discrete mathematics.
Computer networks .
Information technology > Management.
Artificial Intelligence.
Numerical Analysis.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Computer Application in Administrative Data Processing.
Online Access:Texto Completo
Table of 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.

Similar Items