À l'intérieur d'un solveur CP-SAT : comment on résout un planning sous contraintes
Un deep dive sur les solveurs CP-SAT (hybride SAT + programmation par contraintes + branch-and-bound), illustré par un scheduler réel développé pour LATEB (le planning des staffs bénévoles de ses soirées).