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

T Delacroix (1) , H Sadighiyan

1 IMT Atlantique - LUSSI - Département Logique des Usages, Sciences sociales et Sciences de l'Information

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.

Mots clés: timetabling; SAT; PicoSAT; BTS

Domaines: Informatique [cs]; Intelligence artificielle [cs.AI]

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⟩