Filtrage tardif pour le BIBD

Table des matières

Introduction
1 Notions préliminaires
1.1 Arbres de recherche
1.2 Filtrage et propagation
1.3 Heuristiques de branchement
1.4 Stratégies de recherche
1.5 Solveur
1.6 Bris de symétries
2 Création d’un nouveau solveur
2.1 Présentation du solveur
2.2 Diagramme de séquence de la résolution d’un problème de PPC
2.3 Conclusion
3 Utilisation du solveur pour la résolution d’un problème industriel: génération de patrons de chargement alternatifs pour les séchoirs à bois
3.1 Description du problème industriel
3.2 Description de l’approche de résolution proposée
3.3 Expérimentations
3.4 Discussion
3.5 Conclusion
4 Implémentation d’un nouvel événement : lorsque la procrastination paie
4.1 Balanced Incomplete Block Design
4.2 Filtrage tardif
4.3 Filtrage tardif pour le BIBD
4.4 Expérimentations
4.5 Discussion
4.6 Conclusion
Conclusion
A Modèle MIP pour le problème du séchoir
Bibliographie