Planifier l'épreuve E5 à l'aide d'un solveur SAT

Résumé : 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.
Keywords : timetabling SAT PicoSAT BTS
Type de document :
Communication dans un congrès
4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle APIA2018, Jul 2018, Nancy, France
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01830895
Contributeur : Sandra Bringay <>
Soumis le : jeudi 5 juillet 2018 - 14:23:45
Dernière modification le : samedi 14 juillet 2018 - 01:20:47
Document(s) archivé(s) le : lundi 1 octobre 2018 - 17:33:57

Fichier

APIA_2018_paper_12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01830895, version 1

Collections

Citation

T Delacroix, H Sadighiyan. Planifier l'épreuve E5 à l'aide d'un solveur SAT. 4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle APIA2018, Jul 2018, Nancy, France. 〈hal-01830895〉

Partager

Métriques

Consultations de la notice

32

Téléchargements de fichiers

17