Planifier l'épreuve E5 à l'aide d'un solutionneur SAT. - Thomas Delacroix; Hadi Sadighiyan (APIA, 2018)