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

Constraint Propagation for Cumulative Scheduling Problems with Precedences

Improving Energetic Propagations for Cumulative Scheduling

Constraint programming algorithms and models for scheduling applications

Algorithm for Hybrid Flow Shop Scheduling Based Constraint Propagation

Constraint propagation on GPU: a case study for the cumulative constraint

Improved SP-MCTS-Based Scheduling for Multi-Constraint Hybrid Flow Shop

Fail First Principle for Constraint Propagation

Graph Constraints Refined for Transitive Relations

Constraint-based scheduling: a recursive approach

Exhaustive and Efficient Constraint Propagation: A Graph-Based Learning Approach and Its Applications

Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results

Constraint Programing for Solving Four Complex Flexible Shop Scheduling Problems

Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints

Constraint-based Methods for Scheduling Discretionary Services

A constraint programming-based branch and bound algorithm for job shop problems

Timetable problem using constraint programming

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

Parameterized Arc Consistency Constraint Propagation

Towards "Propagation = Logic + Control"

Constraint Satisfaction Propagation: Non-stationary Policy Synthesis for Temporal Logic Planning

A Parameterized Arc Consistency Based Constraint Propagation Algorithm