Blog
14 articles sur CP-SAT, OR-Tools et la programmation par contraintes pour la planification
Planification aeroportuaire : les contraintes du ground handling
Qualifications reglementees, besoins pilotes par les vols, repos legaux et enchainements interdits. Comment un solveur gere la complexite du ground handling.
Lire l'article →
CCT et conventions collectives : automatiser les regles metier
Comment encoder les regles d'une convention collective dans un solveur. Types de contrat, repos renforces, travail de nuit et tracabilite.
Lire l'article →
Tuning CP-SAT pour le rostering a grande echelle
De 2 minutes a 30 minutes. Workers, limites de temps, reduction de variables, brisure de symetrie et benchmarks reels pour 100 a 300 employes.
Lire l'article →
Contraintes dures vs souples dans CP-SAT
Quand penaliser, quand interdire. Hierarchie des penalites, debug INFEASIBLE, et l'art de convertir une contrainte dure en souple.
Lire l'article →
Modeliser l'equite en planification avec CP-SAT
Equite de charge, equite par qualification, ecarts min-max, et pourquoi l'equite parfaite est mathematiquement impossible.
Lire l'article →
Pourquoi nous avons choisi CP-SAT plutot que MIP
CP-SAT vs Gurobi vs CPLEX pour le rostering. Variables booleennes, types de contraintes, licence, et quand MIP est le meilleur choix.
Lire l'article →
Gerer les exceptions reelles dans CP-SAT
Conges, vacances, affectations fixes. Comment le modele absorbe les exceptions sans recodage.
Lire l'article →
D'Excel a CP-SAT
Migrer un planning manuel vers la programmation par contraintes. Parser, modeliser, comparer, transitionner.
Lire l'article →
Recherche multi-thread dans CP-SAT
Comment les workers paralleles ameliorent les resultats. Recherche portfolio, bornes partagees, benchmarks de 1 a 16 workers.
Lire l'article →
Comment automatiser le rostering du personnel
Des tableurs manuels aux plannings optimises en minutes. Comment la programmation par contraintes resout le defi du rostering en industries reglementees.
Lire l'article →
Conformite par conception, performance par defaut
Comment la programmation par contraintes garantit automatiquement la conformite au droit du travail dans le planning du personnel.
Lire l'article →
Un solveur au service du planificateur
Comment les planificateurs peuvent utiliser un solveur de contraintes en parallele de leur workflow existant. Memes donnees, memes procedures, des resultats meilleurs.
Lire l'article →
Ce qu'un tableur ne peut pas faire
Les limites structurelles d'Excel face a la complexite du planning du personnel. Plafond combinatoire, effet de cascade et cout cache du temps.
Lire l'article →
Ce que le planning optimise recupere sur la masse salariale
Dispatch precis des heures, elimination des derives, donnees pretes pour la paie. Comment un solveur agit en amont sur la masse salariale.
Lire l'article →