Abstract:Time-related optimization problems are very hard to solve. Scheduling covers a subcategory of such problems where the goal is to place events in time. The discretization of time triggers a rapid growth of possible placements, leading to large search spaces. While scheduling problems were already computationally solved two decades ago, large real-world sized instances seemed to be out of reach back then. The recent gain of computational power brought by modern computers is not large enough to counter the combinatorial explosion of scheduling problems. However, with the recent developments of these two last decades, new promising resolution techniques have emerged. One of these techniques that will be at the core of this thesis is Constraint Programming (CP). This paradigm allows to express declaratively discrete constrained optimization problems. This thesis achieves two main goals. First, we design new abstractions and techniques to enrich the set of tools CP can use to solve Scheduling problems. Second, we prove that CP is able to solve large instances of real-world scheduling problems in short amounts of time. Several new scheduling abstractions for CP are introduced in this thesis. The two most important ones are the conception of two new propagation procedures useful for time-related problems. Propagation is a mechanism of CP that allows to remove parts of the search space that are provably unfeasible, i.e., that do not contain any feasible solutions. The first propagation procedure introduced performs ForwardChecking propagation for the Nested Global Cardinality Constraint

A Dynamic Constraint Solving Scheme For Semi On-Line Scheduling Problems

A Sound Constraint Solving Scheme for Intelligent Schedule System

Operator-scheduling using a constraint satisfaction technique in port container terminals

Online Scheduling on Parallel Machines: A Survey

A Dynamic Joint Real-time Scheduling Strategy of Truck and Yard Crane in Container Terminals

Trustworthy Scheduling Based on Constraint Solving Scheme

A dynamic rescheduling model with multi-agent system and its solution method

On-line Scheduling with Monotone Subsequence Constraints.

A Job Shop Scheduling Algorithm Based on Constraint Satisfaction Problem

Constraint Programing for Solving Four Complex Flexible Shop Scheduling Problems

Single-track Multi-Hoist Scheduling Problem: a Collision-Free Resolution Based on a Branch-and-bound Approach

Research on Resource-constrained Dynamic Job-Shop Scheduling

Dynamic hoist scheduling problem with multi-capacity reentrant machines

Scheduling under Linear Constraints.

Dynamic hoist scheduling problem with multi-capacity reentrant machines: A mixed integer programming approach

Constraint-based Methods for Scheduling Discretionary Services

Constraint Programming for Modeling and Solving a Hybrid Flow Shop Scheduling Problem

Dynamic online convex optimization with long-term constraints via virtual queue

An On-line Supply Chain Scheduling Problem with a Constraint of Unavailability on the Machine

Constraint programming algorithms and models for scheduling applications

Enhancing constraint programming via supervised learning for job shop scheduling