Integration of AI and OR Techniques 组合优化问题约束编程中的AI与OR技术综合/会议文集

出版社：北京燕山出版社  作者：Bartk, Roman; Milano, Michela; Bartak, Roman  页数：409  

内容概要

The LNCS series reports state-of-the-art restilts in computer science research, development, and education, at a high lewl and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as wetl as with prestigious organizations andsocieties, LNCS has grown into the most comprehensiye computer science research forum available.    The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range 0f computer science ard information technology including interdisciplinary topics in a vatety of application fields. The type of materia! published traditionatly includes                            -proceedings-(published:in time for the lrespective conference)    -post-proceedings (consisting of thorodghly revised final full papers)    -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)

书籍目录

Invited Papers  Integration of Rules and Optimization in Plant PowerOps  Embedded Systems Design: Optimization Challenges  Models for Solving the Travelling Salesman ProblemTechnical 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  he 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……Author Index