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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Barták, Roman (Editor ), Milano, Michela (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3524
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares