Planifier l'épreuve E5 à l'aide d'un solveur SAT
Résumé
This article addresses a specific timetabling problem for student exam schedules (E5 exam for technical university students enrolled in a French BTS-SN curriculum) by mo-deling it thanks to a SAT problem and providing a link to a ready-to-use Python implementation to solve this problem. The detailed presentation of the process makes it easily transposable to other situations.
Cet article propose une modélisation à l'aide d'un pro-blème SAT d'un problème spécifique de définition d'un planning des passages d'étudiants en examen (épreuve E5 en BTS-SN) ainsi qu'un lien vers une implémentation en Python prête à l'emploi par les enseignants de la filière concernée permettant de résoudre le problème. La dé-marche est présentée de manière détaillée afin de permettre une adaptation aisée à d'autres contextes. Mots Clef emploi du temps, SAT, PicoSAT, BTS.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...