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

Trustworthy Scheduling Based on Constraint Solving Scheme

AN ALGORITHM FOR THE JOB SCHEDULE PROBLEM ON THE MODEL OF THE COMMON RESOURCES CAPTURED IN SHORT TIME

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

Some Results on Resource Constrained Scheduling

Survey of Weakly-Hard Real Time Schedule Theory and Its Application

Constraint programming algorithms and models for scheduling applications

Constraint-based scheduling: a recursive approach

Study of uncertainty problem in vehicles scheduling

Dynamic schedule optimization based on correlation scheduling model

An Agent-Based Dynamic Scheduling Solution for Resource-Constrained Project Scheduling

Dynamic management of real time QoS according to (m, k)-firm

Real-time Problem Solving Framework

Modeling and Algorithm for Dynamic Vehicle Scheduling Problems

A Hybrid Task Schedule Algorithm for Real-Time System Employing Trusted Computing Technology

Trust-Based and QoS Demand Clustering Analysis Customizable Cloud Workflow Scheduling Strategies

Trust-driven and QoS Demand Clustering Analysis Based Cloud Workflow Scheduling Strategies.

A framework for dynamic rescheduling problems

Single machine scheduling with uncertain release times

Tactical fixed job scheduling with spread-time constraints

A Lagrangian relaxation approach based on a time-space-state network for railway crew scheduling

Scheduling Algorithm Based on System of Difference Constraints Using Network Flow