Twist your logic with TouIST. - Khaled Skander Ben Slimane; Alexis Comte; Olivier Gasquet; Abdelwahab Heba; Olivier Lezaud; Frederic Maris; Maël Valais (CoRR, 2015)

Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu. - Frédéric Maris; Maël Valais; Julien Vianey (JFPDA, 2018)

Compact Tree Encodings for Planning as QBF. - Olivier Gasquet; Dominique Longin; Frederic Maris; Pierre Régnier; Maël Valais (Inteligencia Artif., 2018)

Traduction logique et résolution de problèmes : application à la planification. (Logic Translation and Problem Solving : application to Planning). - Maël Valais (2019)