Optimization Methods Based on Decision Diagrams for Constraint Programming, AI Planning, and Mathematical Programming

Optimization Methods Based on Decision Diagrams for Constraint Programming, AI Planning, and Mathematical Programming
Author: Margarita Paz Castro
Publisher:
Total Pages:
Release: 2021
Genre:
ISBN:

Decision diagrams (DDs) are graphical structures that can be used to solve discrete optimization problems by representing the set of feasible solutions as paths in a graph. This graphical encoding of the feasibility set can represent complex combinatorial structures and is the foundation of several novel optimization techniques. Due to their flexibility, DDs have become an attractive optimization tool for researchers in different fields, including operations research and computer science. This dissertation investigates new techniques to use DDs in conjunction with existing discrete optimization approaches based on constraint programming (CP), artificial intelligence (AI), and integer programming (IP). The central thesis of this dissertation is that DDs are effective tools to capture complex combinatorial structures of discrete optimization problems that are not fully exploited by general-purpose solvers. Thus, combinations of DDs with existing technologies can achieve state-of-the-art performance on challenging optimization problems. Throughout this work, we address this thesis by developing novel DD procedures that leverage methodologies from different optimization fields to solve discrete optimization problems. Our first project employs Lagrangian duality to strengthen DD bounds for pickup-and-delivery problems. The second project explores new ways to generate admissible heuristics for AI planning tasks by combining DD relaxations with AI planning techniques. This work also studies the relationship between DD heuristics and existing admissible heuristics in the community. Lastly, we propose a novel combinatorial lifting procedure and two cutting plane approaches based on DDs for general-form binary optimization problems. We show theoretical guarantees for our lifting procedure (e.g., conditions to obtain facet-defining inequalities) and provide a thorough theoretical analysis of our two cutting plane procedures. We apply our DD techniques to different problems, extending the usability of DDs in the field. Our first work extends the literature of DDs for sequencing problems by considering capacity constraints and proposing a DD construction procedure based on this restriction. We also present two DD encodings for delete-free AI planning and analyze the properties of both representations. Our last project introduces a new DD network flow formulation and proposes a novel DD encoding for second-order cone inequalities.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Author: Carla Gomes
Publisher: Springer
Total Pages: 403
Release: 2013-04-11
Genre: Computers
ISBN: 3642381715

This volume is a compilation of the research program of the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2013, held at Yorktown Heights, NY, USA, in May 2013. This volume contains 20 full papers and 11 short papers that were carefully reviewed and selected from 71 submissions. The papers focus on new techniques or applications in the intersection of constraint programming (CP), artificial intelligence (AI) and operations research (OR).

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Author: Laurent Perron
Publisher: Springer
Total Pages: 405
Release: 2008-05-20
Genre: Computers
ISBN: 3540681558

The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008) was held in Paris, France May 20–23, 2008. The purpose of this conference series is to bring together researchers in the ?elds of constraint programming, arti?cial intelligence, and operations research to explore ways of solving large-scale, practical optimization problems through integration and hybridization of the ?elds’ di?erent techniques. Through the years, this research community is discovering that the ?elds have much in c- mon, and there has been tremendous richness in the resulting cross-fertilization of ?elds. This year, we allowed submissions of both long (15 page) and short (5 page) papers, with short papers either being original work, a reduced version of a long paper, or an extended abstract of work published elsewhere. We were not s- prised by the 69 submissions in the long paper category: this is an active ?eld with many researchers. We were surprised by the 61 short paper submissions. This was far more than predicted. With 130 high-quality submissions, compe- tion for acceptance in this year’s program was particularly ?erce. In the end, we accepted 18 long papers and 22 short papers for presentation and publication in this volume.

Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming
Author: Michel Rueher
Publisher: Springer
Total Pages: 913
Release: 2016-08-22
Genre: Mathematics
ISBN: 3319449532

This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016. The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; computational sustainability track; CP and biology track; music track; preference, social choice, and optimization track; testing and verification track; and journal-first and sister conferences track.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Author: Jean-Charles Régin
Publisher: Springer
Total Pages: 429
Release: 2004-05-17
Genre: Computers
ISBN: 3540246649

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

Decision Diagrams for Optimization

Decision Diagrams for Optimization
Author: David Bergman
Publisher: Springer
Total Pages: 262
Release: 2016-11-01
Genre: Computers
ISBN: 3319428497

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over state-of-the-art technology. The authors present chapters on the use of decision diagrams for combinatorial optimization and constraint programming, with attention to general-purpose solution methods as well as problem-specific techniques. The book will be useful for researchers and practitioners in discrete optimization and constraint programming. "Decision Diagrams for Optimization is one of the most exciting developments emerging from constraint programming in recent years. This book is a compelling summary of existing results in this space and a must-read for optimizers around the world." [Pascal Van Hentenryck]

Logic-Based Methods for Optimization

Logic-Based Methods for Optimization
Author: John Hooker
Publisher: John Wiley & Sons
Total Pages: 520
Release: 2011-09-28
Genre: Mathematics
ISBN: 1118031288

A pioneering look at the fundamental role of logic in optimizationand constraint satisfaction While recent efforts to combine optimization and constraintsatisfaction have received considerable attention, little has beensaid about using logic in optimization as the key to unifying thetwo fields. Logic-Based Methods for Optimization develops for thefirst time a comprehensive conceptual framework for integratingoptimization and constraint satisfaction, then goes a step furtherand shows how extending logical inference to optimization allowsfor more powerful as well as flexible modeling and solutiontechniques. Designed to be easily accessible to industryprofessionals and academics in both operations research andartificial intelligence, the book provides a wealth of examples aswell as elegant techniques and modeling frameworks ready forimplementation. Timely, original, and thought-provoking,Logic-Based Methods for Optimization: * Demonstrates the advantages of combining the techniques inproblem solving * Offers tutorials in constraint satisfaction/constraintprogramming and logical inference * Clearly explains such concepts as relaxation, cutting planes,nonserial dynamic programming, and Bender's decomposition * Reviews the necessary technologies for software developersseeking to combine the two techniques * Features extensive references to important computationalstudies * And much more

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Author: Pascal Van Hentenryck
Publisher: Springer
Total Pages: 400
Release: 2007-06-23
Genre: Computers
ISBN: 3540723978

This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007. It covers methodological and foundational issues from AI, OR, and algorithmics as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Author: Nicolas Beldiceanu
Publisher: Springer
Total Pages: 409
Release: 2012-05-16
Genre: Computers
ISBN: 9783642298271

This book constitutes the refereed proceedings of the 9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2012, held in Nantes, France, in May/June 2012. The 26 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers are focused on both theoretical and practical, application-oriented issues in combinatorial optimization and feature current research with a special focus on inference and relaxation methods, integration methods, modeling methods, innovative applications of CP/AI/OR techniques, and implementation of CP/AI/OR techniques and optimization systems.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Author: Pierre Schaus
Publisher: Springer Nature
Total Pages: 459
Release: 2022-06-09
Genre: Computers
ISBN: 3031080114

This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was held in Los Angeles, CA, USA, in June 2022.The 28 regular papers presented were carefully reviewed and selected from a total of 60 submissions. The conference program included a Master Class on the topic "Bridging the Gap between Machine Learning and Optimization”.