This volume contains the proceedings of the First International Conference on IntegrationofAIandORTechniquesinConstraintProgrammingforCombina- rialOptimisation Problems.This new conferencefollows the seriesof CP-AI-OR International Workshops on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems held in Ferrara (1999), Paderborn (2000), Ashford (2001), Le Croisic (2002), and Montreal (2003). The success of the previous workshops has demonstrated that CP-AI-OR is bec- ing a major forum for exchanging ideas and methodologiesfrom both ?elds. The aim of this new conference is to bring together researchersfrom AI and OR, and to give them the opportunity to show how the integration of techniques from AI and OR can lead to interesting results on large scale and complex problems. The integration of techniques from Arti?cial Intelligence and Operations - search has provided e?ective algorithms for tackling complex and large scale combinatorial problems with signi?cant improvements in terms of e?ciency, scalability and optimality. The bene?t of this integration has been shown in applications such as hoist scheduling, rostering, dynamic scheduling and vehicle routing. At the programming and modelling levels, most constraint languages embed OR techniques to reason about collections of constraints, so-calledglobal constraints. Some languages also provide support for hybridization allowing the programmer to build new integrated algorithms. The resulting multi-paradigm programmingframeworkcombines the ?exibility and modelling facilities of C- straint Programming with the special purpose and e?cient methods from - erations Research.
"Sinopsis" puede pertenecer a otra edición de este libro.
This volume contains the proceedings of the First International Conference on IntegrationofAIandORTechniquesinConstraintProgrammingforCombina- rialOptimisation Problems.This new conferencefollows the seriesof CP-AI-OR International Workshops on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems held in Ferrara (1999), Paderborn (2000), Ashford (2001), Le Croisic (2002), and Montreal (2003). The success of the previous workshops has demonstrated that CP-AI-OR is bec- ing a major forum for exchanging ideas and methodologiesfrom both ?elds. The aim of this new conference is to bring together researchersfrom AI and OR, and to give them the opportunity to show how the integration of techniques from AI and OR can lead to interesting results on large scale and complex problems. The integration of techniques from Arti?cial Intelligence and Operations - search has provided e?ective algorithms for tackling complex and large scale combinatorial problems with signi?cant improvements in terms of e?ciency, scalability and optimality. The bene?t of this integration has been shown in applications such as hoist scheduling, rostering, dynamic scheduling and vehicle routing. At the programming and modelling levels, most constraint languages embed OR techniques to reason about collections of constraints, so-calledglobal constraints. Some languages also provide support for hybridization allowing the programmer to build new integrated algorithms. The resulting multi-paradigm programmingframeworkcombines the ?exibility and modelling facilities of C- straint Programming with the special purpose and e?cient methods from - erations Research.
This book constitutes the refereed proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2004, held in Nice, France in April 2004.
The 23 revised full papers and 7 revised short papers presented together with an invited talk were carefully reviewed and selected from 56 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Peak Pearl LLC, Holly Springs, NC, Estados Unidos de America
Soft cover. Condición: As New. Like new, never been used. Nº de ref. del artículo: D9783540218364
Cantidad disponible: 1 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5906827
Cantidad disponible: Más de 20 disponibles
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the First International Conference on IntegrationofAIandORTechniquesinConstraintProgrammingforCombina- rialOptimisation Problems.This new conferencefollows the seriesof CP-AI-OR International Workshops on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems held in Ferrara (1999), Paderborn (2000), Ashford (2001), Le Croisic (2002), and Montreal (2003). The success of the previous workshops has demonstrated that CP-AI-OR is bec- ing a major forum for exchanging ideas and methodologiesfrom both elds. The aim of this new conference is to bring together researchersfrom AI and OR, and to give them the opportunity to show how the integration of techniques from AI and OR can lead to interesting results on large scale and complex problems. The integration of techniques from Arti cial Intelligence and Operations - search has provided e ective algorithms for tackling complex and large scale combinatorial problems with signi cant improvements in terms of e ciency, scalability and optimality. The bene t of this integration has been shown in applications such as hoist scheduling, rostering, dynamic scheduling and vehicle routing. At the programming and modelling levels, most constraint languages embed OR techniques to reason about collections of constraints, so-calledglobal constraints. Some languages also provide support for hybridization allowing the programmer to build new integrated algorithms. The resulting multi-paradigm programmingframeworkcombines the exibility and modelling facilities of C- straint Programming with the special purpose and e cient methods from - erations Research. 432 pp. Englisch. Nº de ref. del artículo: 9783540218364
Cantidad disponible: 2 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 5906827-n
Cantidad disponible: Más de 20 disponibles
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Condición: New. pp. 436. Nº de ref. del artículo: 263109022
Cantidad disponible: 4 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Print on Demand pp. 436 Illus. Nº de ref. del artículo: 5820225
Cantidad disponible: 4 disponibles
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Condición: New. Nº de ref. del artículo: 5906827-n
Cantidad disponible: Más de 20 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: New. PRINT ON DEMAND pp. 436. Nº de ref. del artículo: 183109012
Cantidad disponible: 4 disponibles
Librería: moluna, Greven, Alemania
Kartoniert / Broschiert. Condición: New. Nº de ref. del artículo: 4885229
Cantidad disponible: Más de 20 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Paper.- Using MILP and CP for the Scheduling of Batch Chemical Processes.- Technical Papers.- SIMPL: A System for Integrating Optimization Techniques.- A New Exact Solution Algorithm for the Job Shop Problem with Sequence-Dependent Setup Times.- Simple Rules for Low-Knowledge Algorithm Selection.- Filtering Algorithms for the Same Constraint.- Cost Evaluation of Soft Global Constraints.- SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems.- Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.- Generating Benders Cuts for a General Class of Integer Programming Problems.- A Constraint Programming Model for Tail Assignment.- Super Solutions in Constraint Programming.- Local Probing Applied to Network Routing.- Dynamic Heaviest Paths in DAGs with Arbitrary Edge Weights.- Filtering Methods for Symmetric Cardinality Constraint.- Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints.- Combining Forces to Solve the Car Sequencing Problem.- Travelling in the World of Local Searches in the Space of Partial Assignments.- A Global Constraint for Nesting Problems.- Models and Symmetry Breaking for 'Peaceable Armies of Queens'.- A Global Constraint for Graph Isomorphism Problems.- Echelon Stock Formulation of Arborescent Distribution Systems: An Application to the Wagner-Whitin Problem.- Scheduling Abstractions for Local Search.- O(nlog n) Filtering Algorithms for Unary Resource Constraint.- Problem Decomposition for Traffic Diversions.- Short Papers.- LP Relaxations of Multiple all_different Predicates.- Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming.- MakingChoices Using Structure at the Instance Level within a Case Based Reasoning Framework.- The Challenge of Generating Spatially Balanced Scientific Experiment Designs.- Building Models through Formal Specification.- Stabilization Issues for Constraint Programming Based Column Generation.- A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem. Nº de ref. del artículo: 9783540218364
Cantidad disponible: 1 disponibles