Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frédéric Maris, and Maël Valais. “La Logique Facile Avec TouIST (formalisez et Résolvez Facilement Des Problèmes Du Monde Réel).” In Actes Des 9es Journées d’Intelligence Artificielle Fondamentale (IAF 2015). 2015. https://studylibfr.com/doc/3721781/la-logique-facile-avec-touist. 🔎
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, and Mael Valais. “Twist Your Logic with TouIST.” In Fourth International Conference on Tools for Teaching Logic, TTL 2015, Rennes, France, June 9-12, 2015. Proceedings, edited by Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat, and François Schwarzentruber, 01–08. Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA). 2015. http://arxiv.org/abs/1507.03663. 🔎
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, and Maël Valais. “TouIST Again… (Formalisez et Résolvez Facilement Des Problèmes Avec Des Solveurs SAT, SMT et QBF).” In Actes Des 10es Journées d’Intelligence Artificielle Fondamentale (IAF 2017). 2017. https://hal.archives-ouvertes.fr/hal-03116308. 🔎
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, and Maël Valais. “La Logique Facile Avec TouIST (poster) (Démonstrations Des Journées Francophones Sur La Planification, La Décision et l’Apprentissage Pour La Conduite de Systèmes, Caen, 06/07/2017-07/07/2017).” 2017. https://hal.archives-ouvertes.fr/hal-03116309. 🔎