| Compact tree encodings for planning as QBF O Gasquet, D Longin, F Maris, P Régnier, M Valais Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence …, 2018 | 10 | 2018 |
| Solar survey at Pic du Midi: Calibrated data and improved images L Koechlin, L Dettwiller, M Audejean, M Valais, AL Ariste Astronomy & Astrophysics 631, A55, 2019 | 5 | 2019 |
| Twist your logic with TouIST KSB Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, M Valais arXiv preprint arXiv:1507.03663, 2015 | 5 | 2015 |
| Twist your logic with touist S Ben Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, ... IRISA, 2015 | 4 | 2015 |
| TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF O Gasquet, A Herzig, D Longin, F Maris, M Valais Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), 2017 | 2 | 2017 |
| Traduction logique et résolution de problèmes: application à la planification M Valais Université Paul Sabatier-Toulouse III, 2019 | | 2019 |
| Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu F Maris, M Valais, J Vianey Journées Francophones sur la Planification, la Décision et l'Apprentissage …, 2018 | | 2018 |
| Codages d'arbres compacts (CTE) pour la planification QBF O Gasquet, D Longin, F Maris, P Régnier, M Valais 12èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2018), 1-9, 2018 | | 2018 |
| Optimal Planning as Quantified Boolean Formula M Valais 3èmes Journées sur la planification MultiAgent, Flexible, Temporelle …, 2017 | | 2017 |
| Poster sur``La logique facile avec TouIST'' O Gasquet, A Herzig, D Longin, F Maris, M Valais Journées Francophones sur la Planification, la Décision et l'Apprentissage …, 2017 | | 2017 |
| Twist your logic with TouIST K Skander Ben Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, ... arXiv e-prints, arXiv: 1507.03663, 2015 | | 2015 |
| TOUIST (Toulouse Integrated Satisfiability Tool): utilisation de la plateforme pour la planification KSB Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, M Valais | | |
| TouIST Reference Manual 2018-03-12 (touist v3. 5.2) O Gasquet, D Longin, F Maris, M Valais | | |
| La logique facile avec TouIST SB Slimane, A Comte, O Gasquet, A Heba, O Lezaud, F Maris, M Valais | | |
| TouIST again... O Gasquet, A Herzig, D Longin, F Maris, M Valais | | |
| TouIST Reference Manual O Gasquet, D Longin, F Maris, M Valais | | |
| Transport humanitaire et la logistique de crise: comparaison de deux méthodes de calcul de tournées de véhicules D Berardi, A Heba, B Terooatea, M Valais | | |
Frederic MarisAssociate Professor of Computer Science, University of ToulouseVerified email at irit.fr
