Integration of AI and OR Techniques in Constraint Programming

Integration of AI and OR Techniques in Constraint Programming
Author :
Publisher : Springer
Total Pages : 478
Release :
ISBN-10 : 9783319180083
ISBN-13 : 3319180088
Rating : 4/5 (088 Downloads)

Book Synopsis Integration of AI and OR Techniques in Constraint Programming by : Laurent Michel

Download or read book Integration of AI and OR Techniques in Constraint Programming written by Laurent Michel and published by Springer. This book was released on 2015-04-15 with total page 478 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015. The 29 papers presented together with 8 short papers in this volume were carefully reviewed and selected from 90 submissions. The purpose of the conference series is to bring together researchers in the fields of Constraint Programming, Artificial Intelligence and Operations Research to explore ways of solving hard and large scale combinatorial optimization problems that emerge in various industrial domains. Pooling the skills and strengths of this diverse group of researchers has proved extremely effective and valuable during the past decade leading to improvements and cross-fertilization between the three fields as well as breakthrough for actual applications.


Integration of AI and OR Techniques in Constraint Programming Related Books

Integration of AI and OR Techniques in Constraint Programming
Language: en
Pages: 478
Authors: Laurent Michel
Categories: Computers
Type: BOOK - Published: 2015-04-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techn
Handbook of Satisfiability
Language: en
Pages: 1486
Authors: A. Biere
Categories: Computers
Type: BOOK - Published: 2021-05-05 - Publisher: IOS Press

DOWNLOAD EBOOK

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formaliza
Decision Diagrams for Optimization
Language: en
Pages: 262
Authors: David Bergman
Categories: Computers
Type: BOOK - Published: 2016-11-01 - Publisher: Springer

DOWNLOAD EBOOK

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 615
Authors: Sriram Sankaranarayanan
Categories: Computers
Type: BOOK - Published: 2023-04-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TAC
Handbook of Parallel Constraint Reasoning
Language: en
Pages: 687
Authors: Youssef Hamadi
Categories: Computers
Type: BOOK - Published: 2018-04-05 - Publisher: Springer

DOWNLOAD EBOOK

This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributio