Blog
18 articles sur CP-SAT, OR-Tools et la programmation par contraintes pour la planification
Quelles ressources pour faire tourner le solveur ?
Cœurs, mémoire, temps de calcul, et pourquoi la carte graphique ne sert à rien. Trois configurations types de 4 à 16 cœurs.
Lire l'article →
Planification hospitalière : les contraintes du secteur santé
Qualifications soignantes, besoins pilotes par l'occupation, repos après nuit et continuité des soins. Comment un solveur CP-SAT encode les exigences du secteur santé.
Lire l'article →
Planification aéroportuaire : les contraintes du ground handling
Qualifications réglementées, besoins pilotes par les vols, repos légaux et enchaînements interdits. Comment un solveur gère la complexité du ground handling.
Lire l'article →
CCT et conventions collectives : automatiser les règles métier
Comment encoder les règles d'une convention collective dans un solveur. Types de contrat, repos renforces, travail de nuit et traçabilité.
Lire l'article →
Comment automatiser le rostering du personnel
Des tableurs manuels aux plannings optimisés en minutes. Comment la programmation par contraintes résout le défi du rostering en industries réglementées.
Lire l'article →
Recherche multi-thread dans CP-SAT
Comment les workers parallèles améliorent les résultats. Recherche portfolio, bornes partagées, benchmarks de 1 à 16 workers.
Lire l'article →
Un solveur au service du planificateur
Comment les planificateurs peuvent utiliser un solveur de contraintes en parallèle de leur workflow existant. Mêmes données, mêmes procédures, des résultats meilleurs.
Lire l'article →
Contraintes dures vs souples dans CP-SAT
Quand pénaliser, quand interdire. Hiérarchie des pénalités, debug INFEASIBLE, et l'art de convertir une contrainte dure en souple.
Lire l'article →
Modéliser l'équité en planification avec CP-SAT
Équité de charge, équité par qualification, écarts min-max, et pourquoi l'équité parfaite est mathématiquement impossible.
Lire l'article →
Gérer les exceptions réelles dans CP-SAT
Congés, vacances, affectations fixes. Comment le modèle absorbe les exceptions sans recodage.
Lire l'article →
Ce qu'un tableur ne peut pas faire
Les limites structurelles d'Excel face à la complexité du planning du personnel. Plafond combinatoire, effet de cascade et coût cache du temps.
Lire l'article →
D'Excel à CP-SAT
Migrer un planning manuel vers la programmation par contraintes. Parser, modéliser, comparer, transitionner.
Lire l'article →
Pourquoi nous avons choisi CP-SAT plutôt que MIP
CP-SAT vs Gurobi vs CPLEX pour le rostering. Variables booléennes, types de contraintes, licence, et quand MIP est le meilleur choix.
Lire l'article →
Tuning CP-SAT pour le rostering à grande échelle
De 2 minutes à 30 minutes. Workers, limites de temps, réduction de variables, brisure de symétrie et benchmarks réels pour 100 à 300 employés.
Lire l'article →
CP-SAT Planification : Modéliser 300 Employés
Variables, contraintes dures, objectifs souples, calibration des pénalités et benchmarks de performance. Un modèle CP-SAT réel pour le rostering mensuel à grande échelle.
Lire l'article →
Ce que le planning optimise récupère sur la masse salariale
Dispatch précis des heures, élimination des dérives, données prêtes pour la paie. Comment un solveur agit en amont sur la masse salariale.
Lire l'article →
Conformité par conception, performance par défaut
Comment la programmation par contraintes garantit automatiquement la conformité au droit du travail dans le planning du personnel.
Lire l'article →