Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Beck, J. Christopher (Editor), Smith, Barbara M. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 3990
• Subjects: Computer science.; Operations research.; Decision making.; Software engineering.; Algorithms.; Numerical analysis.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Numeric Computing.; Discrete Mathematics in Computer Science.; Algorithm Analysis and Problem Complexity.; Artificial Intelligence (incl. Robotics).; Operation Research/Decision Theory.

Table of Contents:

• Invited Talks
• Opt Art
• Planning for Mixed Discrete Continuous Domains
• Duality in Optimization and Constraint Satisfaction
• Technical Papers
• A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming
• Undirected Forest Constraints
• Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs
• The Range Constraint: Algorithms and Implementation
• On the Separability of Subproblems in Benders Decompositions
• A Hybrid Column Generation and Constraint Programming Optimizer for the Tail Assignment Problem
• The Power of Semidefinite Programming Relaxations for MAX-SAT
• Expected-Case Analysis for Delayed Filtering
• Plan B: Uncertainty/Time Trade-Offs for Linear and Integer Programming
• Progressive Solutions: A Simple but Efficient Dominance Rule for Practical RCPSP
• AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems
• The Timetable Constrained Distance Minimization Problem
• Conflict-Directed A* Search for Soft Constraints
• Event-Driven Probabilistic Constraint Programming
• Online Stochastic Reservation Systems
• Traveling Tournament Scheduling: A Systematic Evaluation of Simulated Annealling
• Open Constraints in a Closed World
• Conditional Lexicographic Orders in Constraint Satisfaction Problems
• An Efficient Hybrid Strategy for Temporal Planning
• Improved Algorithm for the Soft Global Cardinality Constraint.