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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Barták, Roman (Επιμελητής έκδοσης), Milano, Michela (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3524
• Θέματα: Computer science.; Computer communication systems.; Numerical analysis.; Computer science > Mathematics.; Artificial intelligence.; Application software.; Computer Science.; Artificial Intelligence (incl. Robotics).; Numeric Computing.; Discrete Mathematics in Computer Science.; Computer Communication Networks.; Computer Appl. in Administrative Data Processing.

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

Πίνακας περιεχομένων:

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