Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu (JFPDA - Journées Francophones sur la Planification, la Décision et l'Apprentissage, Nancy, 02/07/18-03/07/18)