×

zbMATH — the first resource for mathematics

Constraint-based scheduling: Applying constraint programming to scheduling problems. (English) Zbl 1094.90002
International Series in Operations Research & Management Science 39. Boston, MA: Kluwer Academic Publishers (ISBN 0-7923-7408-8/hbk). xiii, 198 p. (2001).
Publisher’s description: Constraint Programming is a problem-solving paradigm that establishes a clear distinction between two pivotal aspects of a problem: (1) a precise definition of the constraints that define the problem to be solved and (2) the algorithms and heuristics enabling the selection of decisions to solve the problem. It is because of these capabilities that Constraint Programming is increasingly being employed as a problem-solving tool to solve scheduling problems. Hence the development of Constraint-Based Scheduling as a field of study. The aim of this book is to provide an overview of the most widely used Constraint-Based Scheduling techniques. Following the principles of Constraint Programming, the book consists of three distinct parts: The first chapter introduces the basic principles of Constraint Programming and provides a model of the constraints that are the most often encountered in scheduling problems. Chapters 2, 3, 4, and 5 are focused on the propagation of resource constraints, which usually are responsible for the “hardness” of the scheduling problem. Chapters 6, 7, and 8 are dedicated to the resolution of several scheduling problems. These examples illustrate the use and the practical efficiency of the constraint propagation methods of the previous chapters. They also show that besides constraint propagation, the exploration of the search space must be carefully designed, taking into account specific properties of the considered problem (e.g., dominance relations, symmetries, possible use of decomposition rules). Chapter 9 mentions various extensions of the model and presents promising research directions.

MSC:
90-02 Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming
90B35 Deterministic scheduling theory in operations research
Software:
Choco; CLAIRE
PDF BibTeX XML Cite