Limit search to available items
Book Cover
Author International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (2nd : 2005 : Prague, Czech Republic)

Title Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : second international conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005 ; proceedings / Roman Bartak, Michela Milano (eds.)
Published Berlin ; New York : Springer, 2005
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xi, 409 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 3524
Lecture notes in computer science ; 3524. 0302-9743
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
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Constraints (Artificial intelligence) -- Congresses.
Constraint programming (Computer science) -- Congresses.
Combinatorial optimization -- Congresses.
Artificial intelligence -- Technique -- Congresses.
Operations research -- Congresses.
Genre/Form Kongress.
Prag (2005)
Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Barták, Roman.
Milano, Michela.
LC no. 2005926642
ISBN 9783540322641
Other Titles Integration of artificial intelligence and operations research techniques in constraint programming for combinatorial optimization problems